src/HOL/ex/Qsort.thy
2005-04-22 paulson 2005-04-22 tidied
2005-03-26 kleing 2005-03-26 use Library/Multiset instead of own definition
2004-10-15 nipkow 2004-10-15 update
2002-05-17 nipkow 2002-05-17 Turned into Isar theories.
2000-03-27 paulson 2000-03-27 added an order-sorted version of quickSort
2000-03-20 paulson 2000-03-20 a possibly (?) more perspicous simprule in the "simpset" part
2000-03-10 paulson 2000-03-10 now uses recdef instead of "rules"
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-06-21 clasohm 1995-06-21 removed \...\ inside strings
1995-03-22 clasohm 1995-03-22 converted ex with curried function application