doc-src/ZF/logics.sty
2003-08-20 paulson partial conversion to Isar format
less more (0) tip