src/Doc/Implementation/Proof.thy
2015-02-24 wenzelm 2015-02-24 tuned;
2015-02-23 wenzelm 2015-02-23 Goal.prove_multi is superseded by the fully general Goal.prove_common;
2014-10-28 wenzelm 2014-10-28 'notepad' requires proper nesting of begin/end;
2014-10-20 wenzelm 2014-10-20 tuned spacing;
2014-10-07 wenzelm 2014-10-07 more cartouches;
2014-10-05 wenzelm 2014-10-05 prefer @{cite} antiquotation;
2014-04-15 wenzelm 2014-04-15 tuned spelling;
2014-04-05 haftmann 2014-04-05 closer correspondence of document and session names, while maintaining document names for external reference