src/HOL/Induct/LList.ML
1997-12-24 paulson 1997-12-24 New Auto_tac (by Oheimb), and new syntax (without parens), and expandshort
1997-11-05 paulson 1997-11-05 Adapted to removal of UN1_I, etc
1997-11-03 wenzelm 1997-11-03 isatool fixclasimp;
1997-10-17 nipkow 1997-10-17 setloop split_tac -> addsplits
1997-10-10 wenzelm 1997-10-10 fixed dots;
1997-06-06 paulson 1997-06-06 Removed a few redundant additions of simprules or classical rules
1997-05-07 paulson 1997-05-07 New directory to contain examples of (co)inductive definitions