doc-src/IsarRef/Thy/HOL_Specific.thy
2009-05-26 haftmann 2009-05-26 documented print_codeproc command
2009-04-03 wenzelm 2009-04-03 fixed formal markup;
2009-04-03 nipkow 2009-04-03 Finite_Set: lemma IsarRef: attribute arith
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-04 blanchet 2009-03-04 Merge.
2009-02-28 wenzelm 2009-02-28 added method "coherent"; tuned formal markup;
2009-02-28 wenzelm 2009-02-28 moved method "iprover" to HOL specific part;
2009-01-19 haftmann 2009-01-19 "code equation" replaces "defining equation"
2008-12-15 wenzelm 2008-12-15 repaired railroad accident;
2008-12-15 wenzelm 2008-12-15 added 'atp_messages' command, which displays recent messages synchronously;
2008-11-13 wenzelm 2008-11-13 updated/refined types of Isar language elements, removed special LaTeX macros;
2008-11-13 wenzelm 2008-11-13 unified use of declaration environment with IsarImplementation; tuned ML decls;
2008-11-13 wenzelm 2008-11-13 tuned;
2008-10-24 haftmann 2008-10-24 simplified syntax for class parameters
2008-10-15 wenzelm 2008-10-15 added sledgehammer etc.;
2008-10-10 haftmann 2008-10-10 `code func` now just `code`
2008-07-30 haftmann 2008-07-30 clarified
2008-07-03 haftmann 2008-07-03 adjusted rep_datatype
2008-06-10 wenzelm 2008-06-10 case_tac/induct_tac: use same declarations as cases/induct;
2008-06-10 haftmann 2008-06-10 major refactorings in code generator modules
2008-06-02 wenzelm 2008-06-02 moved (ax_)specification to end;
2008-06-02 wenzelm 2008-06-02 tuned spacing;
2008-05-24 wenzelm 2008-05-24 function: uniform treatment of target, not as config;
2008-05-14 wenzelm 2008-05-14 proper checking of various Isar elements;
2008-05-08 wenzelm 2008-05-08 replaced some latex macros by antiquotations;
2008-05-08 wenzelm 2008-05-08 misc tuning;
2008-05-08 wenzelm 2008-05-08 converted HOL specific elements;
2008-05-07 wenzelm 2008-05-07 added logic-specific sessions;