src/HOL/IsaMakefile
1998-08-24 wenzelm 1998-08-24 added Antiquote example;
1998-08-21 paulson 1998-08-21 New UNITY files
1998-08-17 nipkow 1998-08-17 Additions to Lex.
1998-08-12 oheimb 1998-08-12 cleanup for Fun.thy: merged Update.{thy|ML} into Fun.{thy|ML} moved o_def from HOL.thy to Fun.thy added Id_def to Fun.thy moved image_compose from Set.ML to Fun.ML moved o_apply and o_assoc from simpdata.ML to Fun.ML moved fun_upd_same and fun_upd_other (from Map.ML) to Fun.ML added fun_upd_twist to Fun.ML
1998-08-06 nipkow 1998-08-06 New lemmas in List and Lambda in IsaMakefile
1998-08-04 wenzelm 1998-08-04 added LocaleGroup, PiSets examples;
1998-07-31 paulson 1998-07-31 Removed HOL/IMP/Com.ML because it contained only an "open" declaration
1998-07-24 wenzelm 1998-07-24 added ex/MonoidGroups (record example); moved Bin and String examples to ex;
1998-07-24 berghofe 1998-07-24 Adapted to new datatype package.
1998-07-03 wenzelm 1998-07-03 stepping stones: Recdef, Main; String now part of main HOL;
1998-07-02 wenzelm 1998-07-02 fixed Integ;
1998-06-30 berghofe 1998-06-30 Adapted to new inductive definition package.
1998-06-25 paulson 1998-06-25 Installation of target HOL-Real
1998-06-11 nipkow 1998-06-11 removed rel.ML
1998-05-11 nipkow 1998-05-11 Lex
1998-05-05 paulson 1998-05-05 New syntax for function update; moved to main HOL directory
1998-04-29 wenzelm 1998-04-29 removed typedef.ML, record.ML; added Tools/typedef_package.ML, Tools/record_package.ML, Record.thy;
1998-04-27 nipkow 1998-04-27 Added a few lemmas. Renamed expand_const -> split_const.
1998-04-03 paulson 1998-04-03 New target HOL-UNITY
1998-03-11 nipkow 1998-03-11 More Lex.
1998-03-09 wenzelm 1998-03-09 tuned;
1998-02-26 paulson 1998-02-26 New theory, Vimage
1998-01-07 wenzelm 1998-01-07 improved targets; fixed dependencies on parent logics;
1997-12-19 wenzelm 1997-12-19 added record.ML;
1997-12-19 wenzelm 1997-12-19 log files; 'clean' target;
1997-11-26 wenzelm 1997-11-26 tuned;
1997-11-21 oheimb 1997-11-21 corrected INDUCT_FILES
1997-11-03 wenzelm 1997-11-03 added thy_data.ML;
1997-10-24 nipkow 1997-10-24 Added the new theory Map.
1997-10-09 wenzelm 1997-10-09 added TLA stuff;
1997-08-06 berghofe 1997-08-06 Removed references to "thy_data.ML".
1997-07-22 paulson 1997-07-22 Fixed the spelling of AUTH_NAMES--it could not have worked before\!
1997-07-07 wenzelm 1997-07-07 eliminated chmod -w;
1997-07-01 paulson 1997-07-01 New theory TLS
1997-06-06 paulson 1997-06-06 New example theory: Recdef
1997-06-03 paulson 1997-06-03 New theory "Power" of exponentiation (and binomial coefficients)
1997-05-30 paulson 1997-05-30 New theory Divides
1997-05-27 paulson 1997-05-27 Removal of mask.sig and mask.sml
1997-05-26 paulson 1997-05-26 Primrec: New example ported from ZF
1997-05-22 paulson 1997-05-22 New example: ex/Fib
1997-05-20 paulson 1997-05-20 Removal of ex/LexProd; TFL files; new treatment of Prover files
1997-05-16 nipkow 1997-05-16 Distributed Psubset stuff to basic set theory files, incl Finite. Added stuff by bu.
1997-05-16 mueller 1997-05-16 added Modelcheck example;
1997-05-15 paulson 1997-05-15 Preliminary TFL versions
1997-05-07 paulson 1997-05-07 Moved induction examples to directory Induct
1997-05-06 wenzelm 1997-05-06 fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
1997-04-30 mueller 1997-04-30 removed (most of) IOA (see HOLCF/IOA);
1997-04-23 nipkow 1997-04-23 Added NatDef
1997-04-18 paulson 1997-04-18 ex/LFilter is a new theory (and dependency)
1997-04-08 nipkow 1997-04-08 Dep. on Provers/nat_transitive
1997-04-04 slotosch 1997-04-04 Added Example Quot CVS ----------------------------------------------------------------------
1997-04-04 wenzelm 1997-04-04 added Quot examples;
1997-04-04 paulson 1997-04-04 Added blast.ML as a dependency
1997-03-20 wenzelm 1997-03-20 improved session names;
1997-03-20 wenzelm 1997-03-20 isatool usedir;
1997-02-15 oheimb 1997-02-15 cosmetic
1997-02-12 wenzelm 1997-02-12 TFL: missing -q option!
1997-01-23 wenzelm 1997-01-23 added AxClasses test;
1997-01-17 nipkow 1997-01-17 Added W0 and modified MiniML.
1997-01-07 wenzelm 1997-01-07 minor tuning; added Auth/Recur;