src/Doc/Isar_Ref/HOL_Specific.thy
2014-09-11 blanchet 2014-09-11 renamed 'rep_datatype' to 'old_rep_datatype' (HOL)
2014-09-11 blanchet 2014-09-11 renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new'
2014-08-31 haftmann 2014-08-31 restored generic value slot, retaining default behaviour and separate approximate command
2014-07-30 kuncar 2014-07-30 update documentation for Lifting/Transfer
2014-07-04 wenzelm 2014-07-04 revived unchecked theory (see cebaf814ca6e);
2014-07-02 wenzelm 2014-07-02 misc tuning and clarification;
2014-07-01 wenzelm 2014-07-01 clarified "axiomatization" -- minor rewording of this delicate concept;
2014-05-09 haftmann 2014-05-09 delete attribute for code abbrev
2014-05-09 haftmann 2014-05-09 hardcoded nbe and sml into value command
2014-04-10 kuncar 2014-04-10 more appropriate name (Lifting.invariant -> eq_onp)
2014-04-10 kuncar 2014-04-10 left_total and left_unique rules are now transfer rules (cleaner solution, reflexvity_rule attribute not needed anymore)
2014-04-08 haftmann 2014-04-08 even more standardized doc session names after #b266e7a86485