src/Doc/Implementation/Prelim.thy
2014-10-21 wenzelm 2014-10-21 tuned spacing;
2014-10-20 wenzelm 2014-10-20 more antiquotations; tuned spacing;
2014-10-13 wenzelm 2014-10-13 tuned signature;
2014-10-07 wenzelm 2014-10-07 more cartouches;
2014-10-05 wenzelm 2014-10-05 prefer @{cite} antiquotation;
2014-06-28 wenzelm 2014-06-28 misc tuning;
2014-04-05 haftmann 2014-04-05 closer correspondence of document and session names, while maintaining document names for external reference