src/HOL/IsaMakefile
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;
1999-08-25 wenzelm 1999-08-25 proper bootstrap of HOL theory and packages;
1999-08-24 wenzelm 1999-08-24 Real/Real.thy main entry point;
1999-08-20 wenzelm 1999-08-20 eliminated HOL-AxClasses target;
1999-08-20 paulson 1999-08-20 new theories RealBin, RealInt, RealPow
1999-08-17 wenzelm 1999-08-17 tuned;
1999-08-16 paulson 1999-08-16 new theory Real/Hyperreal/HyperDef and file fuf.ML
1999-08-06 paulson 1999-08-06 new theory UNITY/Lift_prog
1999-08-06 paulson 1999-08-06 new theory ex/svc_test.thy
1999-08-03 paulson 1999-08-03 new examples file for SVC
1999-08-02 paulson 1999-08-02 new files for the SVC link-up
1999-07-28 wenzelm 1999-07-28 HOL-Real target now builds an actual image;
1999-07-26 paulson 1999-07-26 HOL/ex/Tarski: new example by Florian Kammueller
1999-07-19 paulson 1999-07-19 NatBin: binary arithmetic for the naturals
1999-07-08 paulson 1999-07-08 new files IntDiv.{thy,ML}
1999-07-06 wenzelm 1999-07-06 added Numeral.thy, Tools/numeral_syntax.ML;
1999-07-01 wenzelm 1999-07-01 Isar_examples/KnasterTarski.thy;
1999-06-11 paulson 1999-06-11 new UNITY files
1999-06-04 wenzelm 1999-06-04 Calculation.thy: Setup transitivity rules for calculational proofs.
1999-06-04 wenzelm 1999-06-04 added Isar_examples/Group.thy;
1999-05-26 wenzelm 1999-05-26 ex/Points Isar'ized;
1999-05-26 paulson 1999-05-26 new theories Follows and ListOrder
1999-04-28 paulson 1999-04-28 eliminated theory UNITY/Traces