src/HOL/ex/Quicksort.thy
2011-08-30 wenzelm 2011-08-30 tuned import; discontinued obsolete Sorting.thy (cf. 4d57f872dc2c);
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2010-11-03 haftmann 2010-11-03 moved theory Quicksort from Library/ to ex/