doc-src/ZF/If.thy
Wed, 24 Sep 2003 10:44:41 +0200 paulson new example for the Isar version of the ZF manual
less more (0) tip