src/HOL/IsaMakefile
2000-06-28 paulson 2000-06-28 new file Provers/make_elim.ML
2000-06-23 berghofe 2000-06-23 Added new theory Lambda/Type.
2000-06-21 wenzelm 2000-06-21 fixed deps;
2000-06-07 paulson 2000-06-07 Real/simproc.ML now removed
2000-06-02 oheimb 2000-06-02 added HOL/Prolog
2000-05-24 paulson 2000-05-24 Adding SetInterval, deleting UNITY/LessThan
2000-05-24 paulson 2000-05-24 restored NatSum.thy
2000-05-23 paulson 2000-05-23 IntRingDefs is now redundant
2000-05-23 paulson 2000-05-23 theory file NatSum.thy no longer needed new files for the Allocator: AllocBase.{thy,ML}
2000-05-22 wenzelm 2000-05-22 new Isar version of HOL-AxClasses-Tutorial;
2000-05-22 paulson 2000-05-22 new file Induct/MultisetOrder.thy
2000-05-15 paulson 2000-05-15 added the dummy theory Integ/NatSimprocs.thy
2000-05-08 wenzelm 2000-05-08 moved theory Sexp to Induct examples;
2000-05-05 wenzelm 2000-05-05 removed Pure/section_utils.ML;
2000-05-05 nipkow 2000-05-05 Added AVL
2000-05-02 paulson 2000-05-02 combine_numerals replaces both fold_Suc and combine_coeff
2000-04-21 paulson 2000-04-21 Provers/Arith/inverse_fold.ML is already obsolete Integ/NatSimprocs.ML added
2000-04-18 paulson 2000-04-18 new simprocs for numerals of type "nat"
2000-04-05 wenzelm 2000-04-05 added Isar_examples/NestedDatatype.thy;
2000-03-24 wenzelm 2000-03-24 added HOL/ex/Multiquote.thy;
2000-03-23 wenzelm 2000-03-23 ex/Antiquote.thy made new-style theory; removed ex/Antiquote.ML;
2000-03-23 paulson 2000-03-23 restored the MESON examples file HOL/ex/mesontest2.ML
2000-03-17 wenzelm 2000-03-17 fixed dep;
2000-03-16 wenzelm 2000-03-16 added HOL/PreLIst.thy;
2000-03-08 paulson 2000-03-08 new theory ex/Factorization
2000-03-04 paulson 2000-03-04 new theories UNITY/Detects, UNITY/Reachability
2000-02-18 paulson 2000-02-18 Rename: theory for applying a bijection over states to a UNITY program
2000-02-04 wenzelm 2000-02-04 added MicroJava/document;
2000-02-01 oheimb 2000-02-01 added forgotten rules to make IMPP
2000-01-31 oheimb 2000-01-31 added IMPP to HOL
2000-01-20 wenzelm 2000-01-20 removed Isar_examples/Minimal;
2000-01-10 nipkow 2000-01-10 Forgot to "call" MicroJava in makefile. Added list_all2 to List.
1999-12-07 wenzelm 1999-12-07 added Isar_examples/Fibonacci.thy;
1999-11-30 paulson 1999-11-30 new theory UNITY/ELT
1999-11-29 wenzelm 1999-11-29 Isar_examples/Minimal.thy;
1999-11-25 nipkow 1999-11-25 del Method.ML
1999-11-17 wenzelm 1999-11-17 added Isar_examples/Puzzle.thy;
1999-11-11 nipkow 1999-11-11 Added MicroJava
1999-11-11 wenzelm 1999-11-11 clean target;
1999-11-05 paulson 1999-11-05 Algebra and Polynomial theories, by Clemens Ballarin
1999-10-30 wenzelm 1999-10-30 fixed deps;
1999-10-28 wenzelm 1999-10-28 fixed deps;
1999-10-25 wenzelm 1999-10-25 added Real/HahnBanach/document/root.bib;
1999-10-22 wenzelm 1999-10-22 HahnBanach update by Gertrud Bauer;
1999-10-08 wenzelm 1999-10-08 include document;
1999-10-06 wenzelm 1999-10-06 Isar_examples/W_correct;
1999-10-04 wenzelm 1999-10-04 removed TFL/sys.sml; removed Integ/simproc.ML, Integ/bin_simprocs.ML; added Integ/IntArith.ML, Integ/IntArith.thy;
1999-09-28 wenzelm 1999-09-28 tuned;
1999-09-28 nipkow 1999-09-28 added BCV.
1999-09-28 paulson 1999-09-28 new UNITY theory: Project
1999-09-22 wenzelm 1999-09-22 proper theory setup for Real/ex/BinEx;
1999-09-10 wenzelm 1999-09-10 The Hahn-Banach theorem for real vectorspaces (Isabelle/Isar) (by Gertrud Bauer, TU Munich);
1999-09-08 paulson 1999-09-08 new example HOL/UNITY/TimerArray
1999-09-02 wenzelm 1999-09-02 renamed NatSum to Summation;
1999-09-01 wenzelm 1999-09-01 Isar_examples/MultisetOrder.thy;
1999-08-31 paulson 1999-08-31 new files HOL/UNITY/Guar.{thy,ML}: theory file gets the instance declaration for the overloading of <, while .ML file gets proofs about renaming constants
1999-08-30 wenzelm 1999-08-30 clean: include HOL-Real-ex;
1999-08-30 paulson 1999-08-30 make it actually RUN the real examples
1999-08-30 paulson 1999-08-30 new directory HOL/Real/ex of real examples
1999-08-29 wenzelm 1999-08-29 added Isar_examples/MutilatedCheckerboard.thy;