src/FOL/document/root.tex
2010-05-12 wenzelm 2010-05-12 removed obsolete CVS Ids;
2001-11-03 wenzelm 2001-11-03 tuned;
2001-10-04 wenzelm 2001-10-04 document setup;