src/HOL/Library/Quicksort.thy
2008-08-28 krauss 2008-08-28 quicksort: function -> fun
2008-07-25 haftmann 2008-07-25 added class preorder
2008-07-14 haftmann 2008-07-14 tuned
2008-06-26 haftmann 2008-06-26 established Plain theory and image
2007-10-16 haftmann 2007-10-16 global class syntax
2007-09-18 nipkow 2007-09-18 Added function package to PreList Added sorted/sort to List Moved qsort from ex to Library