src/ZF/IsaMakefile
Sat, 14 Jun 2008 17:26:11 +0200 wenzelm removed obsolete ML_SUFFIX;
Mon, 11 Feb 2008 15:40:21 +0100 krauss Made theory names in ZF disjoint from HOL theory names to allow loading both developments
Thu, 31 May 2007 12:06:31 +0200 wenzelm moved Integ files to canonical place;
Thu, 26 Apr 2007 15:42:04 +0200 wenzelm removed lagacy ML files;
Wed, 19 Oct 2005 21:52:48 +0200 wenzelm removed obsolete thy_syntax.ML;
Tue, 11 Oct 2005 13:28:05 +0200 wenzelm ML_SUFFIX in targets (experimental);
Mon, 28 Mar 2005 16:19:56 +0200 paulson conversion of UNITY to Isar scripts
Sun, 19 Sep 2004 16:51:10 +0200 paulson converting UNITY/MultisetSum.ML to Isar script
Fri, 17 Sep 2004 16:08:52 +0200 paulson converted ZF/Induct/Multiset to Isar script
Thu, 29 Jul 2004 12:15:53 +0200 paulson documents for ZF-AC and ZF-Constructible
Tue, 08 Jun 2004 16:22:30 +0200 paulson Groups, Rings and supporting lemmas
Wed, 09 Jul 2003 11:39:34 +0200 paulson converting more theories to Isar scripts, and tidying
Tue, 08 Jul 2003 11:44:30 +0200 paulson Conversion of ZF/UNITY/{FP,Union} to Isar script.
Mon, 30 Jun 2003 18:15:51 +0200 paulson Removal of UNITY/UNITYMisc, moving its theorems elsewhere.
Fri, 27 Jun 2003 18:40:25 +0200 paulson Conversion of theory UNITY to Isar script
Fri, 27 Jun 2003 13:15:40 +0200 paulson Conversion of AllocBase to new-style
Thu, 26 Jun 2003 15:48:33 +0200 paulson Conversion of "Merge" to Isar format
Wed, 25 Jun 2003 13:17:26 +0200 paulson Conversion of UNITY/Distributor to Isar script. General tidy-up.
Tue, 24 Jun 2003 16:32:59 +0200 paulson Converting ZF/UNITY to Isar
Fri, 20 Jun 2003 18:13:16 +0200 paulson conversion of ClientImpl to Isar script
Fri, 20 Jun 2003 12:10:45 +0200 paulson Adding the theory UNITY/AllocImpl.thy, with supporting lemmas
Thu, 29 May 2003 17:10:00 +0200 paulson Introduction of the theories UNITY/Merge, UNITY/ClientImpl
Wed, 28 May 2003 18:13:41 +0200 paulson some new ZF/UNITY material from Sidi Ehmety
Wed, 15 Jan 2003 16:45:32 +0100 paulson more new-style theories
Wed, 09 Oct 2002 11:07:13 +0200 paulson Re-organization of Constructible theories
Sat, 21 Sep 2002 21:10:34 +0200 paulson converted to Isar script
Sat, 07 Sep 2002 22:04:28 +0200 paulson conversion of ZF/Integ/{Int,Bin} to Isar scripts
Wed, 28 Aug 2002 13:08:50 +0200 paulson various new lemmas for Constructible
Sat, 24 Aug 2002 18:45:21 +0200 paulson conversion of ZF/IntDiv to Isar script
Thu, 15 Aug 2002 21:36:26 +0200 paulson Relativization and absoluteness for DPow!!
Tue, 13 Aug 2002 17:42:34 +0200 paulson In ZF/Constructible, moved many results from Satisfies_absolute, etc., to
Tue, 13 Aug 2002 11:03:11 +0200 paulson new file Constructible/Satisfies_absolute.thy
Tue, 30 Jul 2002 11:38:33 +0200 paulson removal of twos_compl.ML, which is not really needed
Sun, 28 Jul 2002 21:09:37 +0200 wenzelm tuned document;
Sun, 14 Jul 2002 19:59:55 +0200 paulson Removal of mono.thy
Sun, 14 Jul 2002 15:14:43 +0200 paulson improved presentation markup
Wed, 10 Jul 2002 16:54:07 +0200 paulson Fixed quantified variable name preservation for ball and bex (bounded quants)
Tue, 09 Jul 2002 23:03:21 +0200 paulson converted List to new-style
Tue, 09 Jul 2002 10:44:41 +0200 paulson new files
Thu, 04 Jul 2002 15:06:46 +0200 wenzelm Constructible/document/root.tex;
Tue, 02 Jul 2002 22:46:23 +0200 paulson conversion of QPair to Isar
Sat, 29 Jun 2002 21:33:06 +0200 paulson conversion of many files to Isar format
Sun, 23 Jun 2002 10:14:13 +0200 paulson conversion of Sum, pair to Isar script
Sat, 22 Jun 2002 18:28:46 +0200 paulson converted Bool, Trancl, Rel to Isar format
Wed, 19 Jun 2002 12:48:55 +0200 paulson added the Constructible target
Wed, 19 Jun 2002 10:44:28 +0200 paulson conversion of Cardinal to Isar script
Tue, 18 Jun 2002 10:52:08 +0200 paulson conversion of Fixedpt to Isar script
Sun, 16 Jun 2002 11:58:54 +0200 paulson conversion of CardinalArith to Isar script
Fri, 31 May 2002 15:06:06 +0200 paulson conversion of Finite to Isar format
Fri, 24 May 2002 15:24:29 +0200 paulson converted Update to Isar
Fri, 24 May 2002 13:15:37 +0200 paulson conversion of Perm to Isar. Strengthening of comp_fun_apply
Wed, 22 May 2002 17:26:34 +0200 paulson conversion of Nat to Isar
Tue, 21 May 2002 18:25:28 +0200 paulson conversion of OrdQuant.ML to Isar
Tue, 21 May 2002 13:06:36 +0200 paulson converted domrange to Isar and merged with equalities
Mon, 20 May 2002 11:45:57 +0200 paulson conversion of equalities and WF to Isar
Sat, 18 May 2002 22:22:23 +0200 paulson converted Epsilon to Isar
Sat, 18 May 2002 20:08:17 +0200 paulson converted Arith, Univ, func to Isar format!
Thu, 16 May 2002 09:16:22 +0200 paulson converting Ordinal.ML to Isar format
Mon, 13 May 2002 09:02:13 +0200 paulson converted Order.ML OrderType.ML OrderArith.ML to Isar format
Fri, 10 May 2002 22:51:18 +0200 paulson now-obsolete ML files
less more (0) -60 tip