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