src/Doc/Implementation/Logic.thy
2015-04-01 wenzelm 2015-04-01 misc tuning -- keep name space more clean;
2015-03-06 wenzelm 2015-03-06 Thm.cterm_of and Thm.ctyp_of operate on local context;
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