src/HOL/IMP/document/root.tex
2001-12-19 wenzelm 2001-12-19 tuned;
2001-12-09 kleing 2001-12-09 latex output setup