doc-src/Logics/syntax.tex
2011-05-02 wenzelm 2011-05-02 eliminated old CVS Ids;
2003-09-26 paulson 2003-09-26 tweak
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
1999-01-13 paulson 1999-01-13 removal of FOL and ZF