src/Doc/Isar_Ref/Spec.thy
2015-03-23 wenzelm 2015-03-23 clarified syntax category "fixes";
2015-03-23 wenzelm 2015-03-23 tuned syntax diagrams -- no duplication of "target";
2015-03-23 wenzelm 2015-03-23 tuned;
2015-01-21 haftmann 2015-01-21 disjunctive bottom and supremum lists
2015-01-08 haftmann 2015-01-08 avoid technical term "mixin" in user documentation text
2014-11-22 wenzelm 2014-11-22 named_theorems: multiple args;
2014-11-14 haftmann 2014-11-14 documentation stubs about permanent_interpretation
2014-10-20 wenzelm 2014-10-20 more antiquotations; tuned spacing;
2014-10-07 wenzelm 2014-10-07 clarified whitespace;
2014-10-07 wenzelm 2014-10-07 more cartouches;
2014-10-05 wenzelm 2014-10-05 prefer @{cite} antiquotation;
2014-09-11 blanchet 2014-09-11 more porting to new datatypes
2014-09-11 blanchet 2014-09-11 renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new'
2014-09-07 haftmann 2014-09-07 restrictive options for class dependencies
2014-08-16 wenzelm 2014-08-16 updated syntax for localized commands;
2014-08-16 wenzelm 2014-08-16 updated documentation concerning 'named_theorems';
2014-08-14 wenzelm 2014-08-14 localized command 'method_setup' and 'attribute_setup'; clarified (non)application of morphism: argument src is already transformed, semantic body remains untransformed;
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-07-01 wenzelm 2014-07-01 more on ML options; suppress somewhat old Pretty.margin_default;
2014-04-15 wenzelm 2014-04-15 tuned spelling;
2014-04-08 haftmann 2014-04-08 even more standardized doc session names after #b266e7a86485