src/HOL/ex/Sorting.thy
1997-06-26 nipkow 1997-06-26 set_of_list -> set
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-02-05 clasohm 1996-02-05 expanded tabs; incorporated Konrad's changes
1995-12-01 clasohm 1995-12-01 removed quotes from consts and syntax sections
1995-03-22 clasohm 1995-03-22 converted ex with curried function application