src/HOL/Induct/LFilter.ML
1997-12-24 paulson 1997-12-24 New Auto_tac (by Oheimb), and new syntax (without parens), and expandshort
1997-11-03 wenzelm 1997-11-03 isatool fixclasimp; removed several blast_tacs;
1997-10-17 nipkow 1997-10-17 setloop split_tac -> addsplits
1997-10-10 wenzelm 1997-10-10 fixed dots;
1997-09-29 paulson 1997-09-29 Step_tac -> Safe_tac
1997-09-26 paulson 1997-09-26 Minor tidying to use Clarify_tac, etc.
1997-05-07 paulson 1997-05-07 New directory to contain examples of (co)inductive definitions