Thu, 25 Aug 1994 12:09:21 +0200 | lcp | ZF/Inductive.thy,.ML: renamed from "inductive" to allow re-building without | changeset | files |
Thu, 25 Aug 1994 10:41:17 +0200 | lcp | print_sign_exn: now exported, with a polymorphic type | changeset | files |
Wed, 24 Aug 1994 15:48:47 +0200 | lcp | ZF/ex/LList/lconst_type: streamlined proof | changeset | files |