src/HOL/ex/ImperativeQuicksort.thy
2008-07-19 bulwahn 2008-07-19 added verification framework for the HeapMonad and quicksort as example for this framework