src/HOL/Inductive.thy
1999-04-16 wenzelm 1999-04-16 'HOL/inductive' theory data;
1998-07-01 wenzelm 1998-07-01 tuned Inductive.thy;
1998-06-30 berghofe 1998-06-30 Adapted to new inductive definition package.
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