src/HOL/Hoare/Hoare.thy

refer to bibtex entries via general Document_Model, instead of editor buffers;

(*  Author:     Tobias Nipkow
    Copyright   1998-2003 TUM
*)

theory Hoare
imports Examples ExamplesAbort Pointers0 Pointer_Examples Pointer_ExamplesAbort SchorrWaite Separation
begin

end