src/ZF/Inductive.thy
Mon, 19 Dec 1994 13:18:54 +0100 lcp added true theory dependencies
Thu, 25 Aug 1994 12:09:21 +0200 lcp ZF/Inductive.thy,.ML: renamed from "inductive" to allow re-building without
less more (0) tip