doc-src/ZF/FOL-eg.txt
Wed, 13 Jan 1999 16:36:36 +0100 paulson the separate FOL and ZF logics manual, with new material on datatypes and
less more (0) tip