src/HOL/Library/Quicksort.thy
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