src/HOL/ex/Qsort.ML
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-08-21 paulson 1997-08-21 Renamed theorems of the form set_of_list_XXX to set_XXX
1997-06-26 nipkow 1997-06-26 set_of_list -> set
1997-01-17 nipkow 1997-01-17 Ball_Un -> ball_Un
1997-01-17 nipkow 1997-01-17 Modified some defs and shortened proofs.
1997-01-17 nipkow 1997-01-17 Got rid of Alls in favour of !x:set_of_list
1996-09-26 paulson 1996-09-26 Ran expandshort
1996-06-21 berghofe 1996-06-21 Classical tactics now use default claset.
1996-04-23 oheimb 1996-04-23 repaired critical proofs depending on the order inside non-confluent SimpSets
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-10-04 clasohm 1995-10-04 added local simpsets
1995-03-22 clasohm 1995-03-22 converted ex with curried function application