Up to index of Isabelle/HOL/Hoare
(* Author: Tobias Nipkow Copyright 1998-2003 TUM*)theory Hoareimports Examples ExamplesAbort Pointers0 Pointer_Examples Pointer_ExamplesAbort SchorrWaite Separationbeginend