src/Doc/Implementation/Eq.thy
2014-10-07 wenzelm 2014-10-07 more cartouches;
2014-10-05 wenzelm 2014-10-05 prefer @{cite} antiquotation;
2014-04-05 haftmann 2014-04-05 closer correspondence of document and session names, while maintaining document names for external reference