doc-src/ZF/logics.sty
2003-08-20 paulson 2003-08-20 partial conversion to Isar format