2013-06-17 wenzelm 2013-06-17 more on concrete syntax of proof terms;
2013-06-17 wenzelm 2013-06-17 more examples on proof terms;
2013-03-27 wenzelm 2013-03-27 allow build with skip_proofs enabled -- disable it for sessions that would fail due to embedded diagnostic commands, for example;
2013-03-11 wenzelm 2013-03-11 support for 'chapter' specifications within session ROOT;
2012-12-07 wenzelm 2012-12-07 eliminated old copy of proof.sty (1995), prefer the one usually included in current latex distributions (2005); \usepackage{proof} only where required;
2012-11-12 wenzelm 2012-11-12 removed somewhat pointless historic material;
2012-11-11 wenzelm 2012-11-11 updated section on ordered rewriting;
2012-11-07 wenzelm 2012-11-07 some coverage of "resolution without lifting", which should be normally avoided;
2012-11-07 wenzelm 2012-11-07 moved classical wrappers to IsarRef; removed somewhat pointless historic material;
2012-09-12 wenzelm 2012-09-12 some attempts to synchronize ROOT/files and document/build;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;