doc-src/Logics/syntax.tex
1999-01-13 paulson 1999-01-13 removal of FOL and ZF