src/Pure/IsaMakefile
2006-11-23 wenzelm 2006-11-23 added morphism.ML, General/ml_syntax.ML;
2006-11-16 wenzelm 2006-11-16 moved some fundamental concepts to General/basics.ML;
2006-11-14 wenzelm 2006-11-14 removed Isar/isar_thy.ML;
2006-11-10 wenzelm 2006-11-10 removed obsolete ML compatibility fragments;
2006-11-03 haftmann 2006-11-03 dropped name_mangler.ML
2006-10-10 haftmann 2006-10-10 removed experimental codegen_simtype
2006-10-09 wenzelm 2006-10-09 added General/secure.ML;
2006-10-07 wenzelm 2006-10-07 added Isar/theory_target.ML;
2006-09-27 wenzelm 2006-09-27 added ML-Systems/polyml-4.9.1.ML;
2006-09-21 berghofe 2006-09-21 Added Tools/xml_syntax.ML
2006-09-19 wenzelm 2006-09-19 added General/susp.ML;
2006-09-19 haftmann 2006-09-19 code generation 2 adjustments
2006-09-12 wenzelm 2006-09-12 added Pure/term_subst.ML;
2006-08-14 haftmann 2006-08-14 added code generator packages
2006-08-03 wenzelm 2006-08-03 added Isar/rule_insts.ML;
2006-07-27 wenzelm 2006-07-27 added Pure/assumption.ML;
2006-07-26 wenzelm 2006-07-26 added Pure/subgoal.ML;
2006-07-11 wenzelm 2006-07-11 added name.ML;
2006-06-15 wenzelm 2006-06-15 added variable.ML;
2006-06-14 haftmann 2006-06-14 added codegen_simtype
2006-06-11 dixon 2006-06-11 removed IsaPlanner - these are now in Provers.
2006-06-07 wenzelm 2006-06-07 added Tools/invoke.ML;
2006-04-13 wenzelm 2006-04-13 added conjunction.ML; tuned;
2006-04-06 haftmann 2006-04-06 added definitional code generator module: codegen_theorems.ML
2006-02-27 nipkow 2006-02-27 added nbe
2006-02-21 nipkow 2006-02-21 added Tools/nbe
2006-02-10 wenzelm 2006-02-10 added Isar/local_syntax.ML;
2006-01-28 wenzelm 2006-01-28 added Isar/local_defs.ML;
2006-01-23 webertj 2006-01-23 TimeLimit replaced by interrupt_timeout
2006-01-22 wenzelm 2006-01-22 added Isar/local_theory.ML;
2006-01-07 wenzelm 2006-01-07 added Isar/specification.ML;
2005-12-12 haftmann 2005-12-12 added generic name mangler
2005-11-14 haftmann 2005-11-14 added modules for code generator generation two, not operational yet
2005-11-14 wenzelm 2005-11-14 added ML-Systems/polyml-4.1.4-patch.ML, ML-Systems/polyml-4.2.0.ML;
2005-11-09 wenzelm 2005-11-09 added Isar/element.ML;
2005-11-08 wenzelm 2005-11-08 renamed goals.ML to old_goals.ML;
2005-11-02 wenzelm 2005-11-02 added consts.ML;
2005-10-21 wenzelm 2005-10-21 added goal.ML;
2005-10-19 wenzelm 2005-10-19 removed obsolete Thy/thy_parse.ML, Thy/thy_scan.ML, Thy/thy_syn.ML;
2005-10-14 haftmann 2005-10-14 added module rat.ML for rational numbers
2005-10-08 wenzelm 2005-10-08 moved susp.ML, lazy_seq.ML, lazy_scan.ML to HOL/Import;
2005-09-13 wenzelm 2005-09-13 added General/stack.ML, Isar/proof_display.ML;
2005-08-28 haftmann 2005-08-28 added alist.ML
2005-08-16 wenzelm 2005-08-16 added Isar/outer_keyword.ML;
2005-08-01 wenzelm 2005-08-01 added compress.ML;
2005-07-12 obua 2005-07-12 - introduce Pure/Tools directory - add compute oracle to Pure/Tools
2005-06-22 wenzelm 2005-06-22 removed Pure/Isar/proof_data.ML, Pure/General/object.ML;
2005-06-22 paulson 2005-06-22 pointer equality for sml/nj
2005-06-18 wenzelm 2005-06-18 added Pure/General/ord_list.ML;
2005-06-17 wenzelm 2005-06-17 removed Pure/theory_data.ML;
2005-06-11 wenzelm 2005-06-11 added ML-Systems/polyml-posix.ML;
2005-06-01 nipkow 2005-06-01 added dependency
2005-05-29 obua 2005-05-29 Implement cycle-free overloading, so that definitions cannot harm consistency any more (except of course via interaction with axioms).
2005-05-22 wenzelm 2005-05-22 added Pure/simplifier.ML, Pure/Isar/find_theorems.ML;
2005-04-23 wenzelm 2005-04-23 removed Pure/Syntax/token_trans.ML Pure/Thy/ROOT.ML Pure/Proof/ROOT.ML Pure/Isar/isar.ML;
2005-04-21 wenzelm 2005-04-21 superceded by Pure.thy and CPure.thy;
2005-02-01 paulson 2005-02-01 the new subst tactic, by Lucas Dixon
2004-06-05 wenzelm 2004-06-05 removed Pure/ML-Systems/mlworks.ML Pure/ML-Systems/polyml-3.x.ML Pure/ML-Systems/smlnj-0.93.ML; added ML-Systems/polyml-time-limit.ML;
2004-05-29 wenzelm 2004-05-29 added Pure/General/output.ML;
2004-04-22 wenzelm 2004-04-22 added Isar/constdefs.ML;