src/ZF/UNITY/SubstAx.thy
Thu, 08 Dec 2005 20:15:41 +0100 wenzelm Cla.swap;
Mon, 28 Mar 2005 16:19:56 +0200 paulson conversion of UNITY to Isar scripts
Thu, 15 Nov 2001 15:07:16 +0100 ehmety *** empty log message ***
Wed, 08 Aug 2001 14:33:10 +0200 paulson new ZF/UNITY theory
less more (0) tip