| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Tue, 24 Jun 2003 16:32:59 +0200 | paulson | Converting ZF/UNITY to Isar | file | diff | annotate |
| Tue, 27 May 2003 11:39:03 +0200 | paulson | updating ZF-UNITY with Sidi's new material | file | diff | annotate |
| Fri, 31 May 2002 15:06:06 +0200 | paulson | conversion of Finite to Isar format | 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 |