added verification framework for the HeapMonad and quicksort as example for this framework
(* Title: HOL/Hoare/ROOT.ML
ID: $Id$
Author: Tobias Nipkow
Copyright 1998-2003 TUM
*)
use_thys ["Examples", "ExamplesAbort", "Pointers0", "Pointer_Examples",
"Pointer_ExamplesAbort", "SchorrWaite", "Separation"];