| Tue, 01 Feb 2005 18:01:57 +0100 | paulson | the new subst tactic, by Lucas Dixon | file | diff | annotate |
| Fri, 17 Sep 2004 16:08:52 +0200 | paulson | converted ZF/Induct/Multiset to Isar script | file | diff | annotate |
| Tue, 27 May 2003 11:39:03 +0200 | paulson | updating ZF-UNITY with Sidi's new material | file | diff | annotate |
| 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 |
| 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 |