src/HOL/Library/Quicksort.thy
2010-05-22 ago modernized sorting algorithms; quicksort implements sort
2009-03-27 ago normalized imports
2008-08-28 ago quicksort: function -> fun
2008-07-25 ago added class preorder
2008-07-14 ago tuned
2008-06-26 ago established Plain theory and image
2007-10-16 ago global class syntax
2007-09-18 ago Added function package to PreList