src/HOL/Inductive.thy
1996-07-15 paulson 1996-07-15 New dummy .thy files to document dependencies
1995-07-25 lcp 1995-07-25 Includes Sum.thy as a parent for mutual recursion
1995-03-03 clasohm 1995-03-03 new version of HOL with curried function application