src/HOL/Induct/SList.ML
1998-08-06 paulson 1998-08-06 even more tidying of Goal commands
1998-07-31 paulson 1998-07-31 Removal of obsolete "open" commands from heads of .ML files
1998-07-15 paulson 1998-07-15 More tidying and removal of "\!\!... from Goal commands
1998-07-15 paulson 1998-07-15 Removal of leading "\!\!..." from most Goal commands
1998-06-22 wenzelm 1998-06-22 isatool fixgoal;
1998-04-27 nipkow 1998-04-27 Renamed expand_const -> split_const.
1998-03-07 nipkow 1998-03-07 Removed `addsplits [expand_if]'
1998-01-08 paulson 1998-01-08 Tidied by adding more default simprules
1997-11-03 wenzelm 1997-11-03 isatool fixclasimp;
1997-10-30 nipkow 1997-10-30 Updated proofs
1997-10-17 nipkow 1997-10-17 setloop split_tac -> addsplits
1997-10-10 wenzelm 1997-10-10 fixed dots;
1997-08-21 paulson 1997-08-21 Renamed set_of_list to set, and relevant theorems too
1997-05-07 paulson 1997-05-07 New directory to contain examples of (co)inductive definitions