Fri, 15 Feb 2002 12:07:27 +0100 | paulson | a new definition of "restrict" | file | diff | annotate |
Wed, 30 Jan 2002 12:22:40 +0100 | paulson | Multiset: added the translation Mult(A) => A-||>nat-{0} | file | diff | annotate |
Sat, 29 Dec 2001 18:36:12 +0100 | wenzelm | tuned document sources; | file | diff | annotate |
Thu, 20 Dec 2001 15:17:48 +0100 | paulson | converted some ZF/Induct examples to Isar | file | diff | annotate |
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 |