src/HOL/Inductive.thy
Mon, 15 Jul 1996 14:58:28 +0200 paulson New dummy .thy files to document dependencies
Tue, 25 Jul 1995 16:58:06 +0200 lcp Includes Sum.thy as a parent for mutual recursion
Fri, 03 Mar 1995 12:02:25 +0100 clasohm new version of HOL with curried function application
less more (0) tip