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;