src/HOL/Imperative_HOL/ex/Imperative_Quicksort.thy
2009-03-23 ago moved Imperative_HOL examples to Imperative_HOL/ex