Leopold Toetsch Wed, 21 Apr 2004 09:15:53 -0700
Is IntList used outside of some tests? Can we rename it to IntvalArray?