doc-src/Logics/syntax.tex
2003-09-26 paulson tweak
2000-08-28 wenzelm proper setup of iman.sty/extra.sty/ttbox.sty;
1999-01-13 paulson removal of FOL and ZF
less more (0) tip