doc-src/IsarRef/Thy/document/HOL_Specific.tex
2009-04-03 wenzelm 2009-04-03 fixed formal markup;
2009-04-03 nipkow 2009-04-03 Finite_Set: lemma IsarRef: attribute arith
2009-02-28 wenzelm 2009-02-28 updated generated files;
2009-01-19 haftmann 2009-01-19 "code equation" replaces "defining equation"
2008-12-15 wenzelm 2008-12-15 updated generated file;
2008-12-15 wenzelm 2008-12-15 updated generated files;
2008-11-13 wenzelm 2008-11-13 updated generated files;
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-08-12 wenzelm 2008-08-12 updated generated file;
2008-07-03 haftmann 2008-07-03 adjusted rep_datatype
2008-06-10 wenzelm 2008-06-10 updated generated file;
2008-06-10 haftmann 2008-06-10 major refactorings in code generator modules
2008-06-02 wenzelm 2008-06-02 updated generated file;
2008-06-02 wenzelm 2008-06-02 updated generated file;
2008-05-24 wenzelm 2008-05-24 updated generated file;
2008-05-15 wenzelm 2008-05-15 updated generated file;
2008-05-15 wenzelm 2008-05-15 updated generated file;
2008-05-14 wenzelm 2008-05-14 updated generated file;
2008-05-08 wenzelm 2008-05-08 updated generated file;
2008-05-08 wenzelm 2008-05-08 improved treatment of "_" thanks to underscore.sty;
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;