src/LCF/LCF.thy
2014-02-10 wenzelm 2014-02-10 prefer vacuous definitional type classes over axiomatic ones;
2012-07-24 wenzelm 2012-07-24 more session ROOT files;
2012-03-19 wenzelm 2012-03-19 modernized axiomatizations; tuned proofs;
2010-12-20 wenzelm 2010-12-20 proper identifiers for consts and types;
2010-04-28 wenzelm 2010-04-28 renamed command 'defaultsort' to 'default_sort';
2010-03-13 wenzelm 2010-03-13 removed old CVS Ids; tuned headers;
2010-02-15 wenzelm 2010-02-15 eliminated unnamed infixes;
2008-06-16 wenzelm 2008-06-16 pervasive RuleInsts;
2008-06-14 wenzelm 2008-06-14 proper context for tactics derived from res_inst_tac;
2007-04-26 wenzelm 2007-04-26 eliminated unnamed infixes; tuned ML setup;
2006-06-01 wenzelm 2006-06-01 tuned;
2006-06-01 wenzelm 2006-06-01 removed obsolete ML files;
2005-09-03 wenzelm 2005-09-03 uses ("LCF_lemmas.ML");
2005-09-03 wenzelm 2005-09-03 converted to Isar theory format;
1997-10-10 wenzelm 1997-10-10 fixed dots;
1996-02-05 clasohm 1996-02-05 expanded tabs
1994-10-21 lcp 1994-10-21 LCF/LCF.thy: the constant VOID had mixfix syntax "()" !! Added quotes.
1994-03-17 lcp 1994-03-17 new type declaration syntax instead of numbers
1993-09-16 clasohm 1993-09-16 Initial revision