doc-src/IsarRef/Thy/document/HOL_Specific.tex
2010-10-29 wenzelm 2010-10-29 proper markup of formal text;
2010-10-26 krauss 2010-10-26 basic documentation for command partial_function
2010-10-26 krauss 2010-10-26 remove outdated "(otherwise)" syntax from manual
2010-09-22 haftmann 2010-09-22 formal syntax diagram for code_reflect
2010-08-27 haftmann 2010-08-27 updated generated files
2010-08-17 haftmann 2010-08-17 formally document `code abstype` and `code abstract` attributes
2010-07-14 haftmann 2010-07-14 export_code without file prints to standard output
2010-07-08 haftmann 2010-07-08 updated documentation
2010-06-17 haftmann 2010-06-17 added simp evaluator
2010-06-14 haftmann 2010-06-14 tuned internal order
2010-06-14 haftmann 2010-06-14 corrected syntax diagram
2010-04-28 wenzelm 2010-04-28 removed material that is out of scope of this manual;
2010-04-15 wenzelm 2010-04-15 HOL record: explicitly allow sort constraints;
2010-04-14 hoelzl 2010-04-14 Spelling error: theroems -> theorems
2010-03-19 wenzelm 2010-03-19 allow sort constraints in HOL/typedef;
2010-03-13 wenzelm 2010-03-13 removed obsolete HOL 'typedecl'; local theory version of HOL 'typedef';
2010-03-06 wenzelm 2010-03-06 eliminated Args.bang_facts (legacy feature);
2010-02-24 wenzelm 2010-02-24 allow general mixfix syntax for type constructors;
2009-12-23 haftmann 2009-12-23 updated documentation
2009-11-23 krauss 2009-11-23 documented size_change in isar-ref manual
2009-11-23 krauss 2009-11-23 clarified; checked
2009-07-14 haftmann 2009-07-14 code attributes use common underscore convention
2009-07-02 haftmann 2009-07-02 updated generated files
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-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;