| Sun, 07 Oct 2007 21:19:31 +0200 | wenzelm | modernized specifications; | file | diff | annotate |
| Sun, 07 Oct 2007 15:49:25 +0200 | wenzelm | replaced some 'translations' by 'abbreviation'; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Thu, 10 Jul 2003 17:14:41 +0200 | paulson | Changed many Intersection rules from i:I to I~=0 to avoid introducing a new | file | diff | annotate |
| Mon, 30 Jun 2003 18:15:51 +0200 | paulson | Removal of UNITY/UNITYMisc, moving its theorems elsewhere. | file | diff | annotate |
| Fri, 27 Jun 2003 13:15:40 +0200 | paulson | Conversion of AllocBase to new-style | file | diff | annotate |
| Fri, 30 May 2003 11:44:29 +0200 | paulson | getting ZF/UNITY working again | file | diff | annotate |
| Wed, 28 May 2003 18:13:41 +0200 | paulson | some new ZF/UNITY material from Sidi Ehmety | file | diff | annotate |