src/ZF/IsaMakefile
2007-05-31 wenzelm 2007-05-31 moved Integ files to canonical place;
2007-04-26 wenzelm 2007-04-26 removed lagacy ML files;
2005-10-19 wenzelm 2005-10-19 removed obsolete thy_syntax.ML;
2005-10-11 wenzelm 2005-10-11 ML_SUFFIX in targets (experimental);
2005-03-28 paulson 2005-03-28 conversion of UNITY to Isar scripts
2004-09-19 paulson 2004-09-19 converting UNITY/MultisetSum.ML to Isar script
2004-09-17 paulson 2004-09-17 converted ZF/Induct/Multiset to Isar script
2004-07-29 paulson 2004-07-29 documents for ZF-AC and ZF-Constructible
2004-06-08 paulson 2004-06-08 Groups, Rings and supporting lemmas
2003-07-09 paulson 2003-07-09 converting more theories to Isar scripts, and tidying
2003-07-08 paulson 2003-07-08 Conversion of ZF/UNITY/{FP,Union} to Isar script. Introduction of X-symbols to the ML files.
2003-06-30 paulson 2003-06-30 Removal of UNITY/UNITYMisc, moving its theorems elsewhere. Conversion of UNITY/State to Isar format.;
2003-06-27 paulson 2003-06-27 Conversion of theory UNITY to Isar script
2003-06-27 paulson 2003-06-27 Conversion of AllocBase to new-style
2003-06-26 paulson 2003-06-26 Conversion of "Merge" to Isar format
2003-06-25 paulson 2003-06-25 Conversion of UNITY/Distributor to Isar script. General tidy-up.
2003-06-24 paulson 2003-06-24 Converting ZF/UNITY to Isar
2003-06-20 paulson 2003-06-20 conversion of ClientImpl to Isar script
2003-06-20 paulson 2003-06-20 Adding the theory UNITY/AllocImpl.thy, with supporting lemmas
2003-05-29 paulson 2003-05-29 Introduction of the theories UNITY/Merge, UNITY/ClientImpl
2003-05-28 paulson 2003-05-28 some new ZF/UNITY material from Sidi Ehmety
2003-01-15 paulson 2003-01-15 more new-style theories
2002-10-09 paulson 2002-10-09 Re-organization of Constructible theories
2002-09-21 paulson 2002-09-21 converted to Isar script
2002-09-07 paulson 2002-09-07 conversion of ZF/Integ/{Int,Bin} to Isar scripts
2002-08-28 paulson 2002-08-28 various new lemmas for Constructible
2002-08-24 paulson 2002-08-24 conversion of ZF/IntDiv to Isar script
2002-08-15 paulson 2002-08-15 Relativization and absoluteness for DPow!!
2002-08-13 paulson 2002-08-13 In ZF/Constructible, moved many results from Satisfies_absolute, etc., to the new theory Internalize.thy
2002-08-13 paulson 2002-08-13 new file Constructible/Satisfies_absolute.thy
2002-07-30 paulson 2002-07-30 removal of twos_compl.ML, which is not really needed
2002-07-28 wenzelm 2002-07-28 tuned document;
2002-07-14 paulson 2002-07-14 Removal of mono.thy
2002-07-14 paulson 2002-07-14 improved presentation markup
2002-07-10 paulson 2002-07-10 Fixed quantified variable name preservation for ball and bex (bounded quants) Requires tweaking of other scripts. Also routine tidying.
2002-07-09 paulson 2002-07-09 converted List to new-style
2002-07-09 paulson 2002-07-09 new files
2002-07-04 wenzelm 2002-07-04 Constructible/document/root.tex;
2002-07-02 paulson 2002-07-02 conversion of QPair to Isar
2002-06-29 paulson 2002-06-29 conversion of many files to Isar format
2002-06-23 paulson 2002-06-23 conversion of Sum, pair to Isar script
2002-06-22 paulson 2002-06-22 converted Bool, Trancl, Rel to Isar format
2002-06-19 paulson 2002-06-19 added the Constructible target
2002-06-19 paulson 2002-06-19 conversion of Cardinal to Isar script
2002-06-18 paulson 2002-06-18 conversion of Fixedpt to Isar script
2002-06-16 paulson 2002-06-16 conversion of CardinalArith to Isar script
2002-05-31 paulson 2002-05-31 conversion of Finite to Isar format
2002-05-24 paulson 2002-05-24 converted Update to Isar
2002-05-24 paulson 2002-05-24 conversion of Perm to Isar. Strengthening of comp_fun_apply
2002-05-22 paulson 2002-05-22 conversion of Nat to Isar
2002-05-21 paulson 2002-05-21 conversion of OrdQuant.ML to Isar
2002-05-21 paulson 2002-05-21 converted domrange to Isar and merged with equalities
2002-05-20 paulson 2002-05-20 conversion of equalities and WF to Isar
2002-05-18 paulson 2002-05-18 converted Epsilon to Isar
2002-05-18 paulson 2002-05-18 converted Arith, Univ, func to Isar format!
2002-05-16 paulson 2002-05-16 converting Ordinal.ML to Isar format
2002-05-13 paulson 2002-05-13 converted Order.ML OrderType.ML OrderArith.ML to Isar format
2002-05-10 paulson 2002-05-10 now-obsolete ML files
2002-04-15 paulson 2002-04-15 converted theory ex/Limit to Isar script, but it still needs work!
2002-01-16 paulson 2002-01-16 Isar version of AC