| Wed, 12 Dec 2001 20:37:31 +0100 | wenzelm | isatool expandshort; | file | diff | annotate |
| Mon, 12 Nov 2001 10:37:36 +0100 | berghofe | Renamed some bound variables due to changes in simplifier. | file | diff | annotate |
| Wed, 07 Nov 2001 18:12:12 +0100 | paulson | Sidi Ehmety's port of the fold_set operator and multisets to ZF. | file | diff | annotate |