src/HOL/Hoare/Hoare.thy
author wenzelm
Tue Sep 26 20:54:40 2017 +0200 (23 months ago)
changeset 66695 91500c024c7f
parent 35321 c298a4fc324b
permissions -rw-r--r--
tuned;
     1 (*  Author:     Tobias Nipkow
     2     Copyright   1998-2003 TUM
     3 *)
     4 
     5 theory Hoare
     6 imports Examples ExamplesAbort Pointers0 Pointer_Examples Pointer_ExamplesAbort SchorrWaite Separation
     7 begin
     8 
     9 end