| 2005-02-01 | paulson | the new subst tactic, by Lucas Dixon | file | diff | annotate |
| 2004-09-17 | paulson | converted ZF/Induct/Multiset to Isar script | file | diff | annotate |
| 2003-05-27 | paulson | updating ZF-UNITY with Sidi's new material | file | diff | annotate |
| 2002-02-15 | paulson | a new definition of "restrict" | file | diff | annotate |
| 2002-01-30 | paulson | Multiset: added the translation Mult(A) => A-||>nat-{0} | file | diff | annotate |
| 2001-12-29 | wenzelm | tuned document sources; | file | diff | annotate |
| 2001-11-07 | paulson | Sidi Ehmety's port of the fold_set operator and multisets to ZF. | file | diff | annotate |