src/HOL/ex/Sorting.thy
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-05-27 wenzelm 2006-05-27 tuned;
2005-04-22 paulson 2005-04-22 tidied
2005-03-26 kleing 2005-03-26 use Library/Multiset instead of own definition
2002-05-17 nipkow 2002-05-17 Turned into Isar theories.
2000-03-10 paulson 2000-03-10 tidied
1998-07-24 berghofe 1998-07-24 Adapted to new datatype package.
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