Mon, 11 Feb 2008 21:32:13 +0100 | wenzelm | imports Main; | file | diff | annotate |
Mon, 11 Feb 2008 15:40:21 +0100 | krauss | Made theory names in ZF disjoint from HOL theory names to allow loading both developments | file | diff | annotate |
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 |
Mon, 28 Mar 2005 16:19:56 +0200 | paulson | conversion of UNITY to Isar scripts | file | diff | annotate |
Mon, 02 Jun 2003 11:17:52 +0200 | paulson | Further tweaks of ZF/UNITY | file | diff | annotate |
Tue, 27 May 2003 11:39:03 +0200 | paulson | updating ZF-UNITY with Sidi's new material | file | diff | annotate |
Thu, 15 Nov 2001 16:46:38 +0100 | ehmety | New files | file | diff | annotate |