src/Doc/Implementation/Logic.thy
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