src/HOL/Induct/Mutil.thy
1998-11-18 paulson 1998-11-18 Finally removing "Compl" from HOL
1997-06-06 paulson 1997-06-06 Tidying and simplification of declarations
1997-05-07 paulson 1997-05-07 New directory to contain examples of (co)inductive definitions