src/Doc/Isar_Ref/Proof.thy
2015-03-23 wenzelm 2015-03-23 tuned;
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-09 wenzelm 2015-03-09 support structural composition (THEN_ALL_NEW) for proof methods; clarified preparation for goal restriction: Goal.conjunction_tac only once; export Method.parse0, notably for Eisbach; more explicit type cases_state;
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-08-18 wenzelm 2014-08-18 merged;
2014-08-13 wenzelm 2014-08-13 tuned;
2014-08-16 wenzelm 2014-08-16 updated syntax for localized commands;
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-04-15 wenzelm 2014-04-15 tuned spelling;
2014-04-08 haftmann 2014-04-08 even more standardized doc session names after #b266e7a86485