| Tue, 16 Sep 2008 12:24:37 +0200 | ballarin | Fixed typo in locale declaration. | file | diff | annotate |
| Sun, 07 Oct 2007 21:19:31 +0200 | wenzelm | modernized specifications; | 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 |
| Fri, 27 Jun 2003 18:40:25 +0200 | paulson | Conversion of theory UNITY to Isar script | file | diff | annotate |
| Wed, 25 Jun 2003 13:17:26 +0200 | paulson | Conversion of UNITY/Distributor to Isar script. General tidy-up. | file | diff | annotate |
| Thu, 12 Jun 2003 16:40:59 +0200 | paulson | x-symbols (mostly) | file | diff | annotate |
| Wed, 28 May 2003 18:13:41 +0200 | paulson | some new ZF/UNITY material from Sidi Ehmety | file | diff | annotate |