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