changeset 13875 | 12997e3ddd8d |
parent 13773 | 58dc4ab362d0 |
child 14062 | 7f0d5cc52615 |
--- a/src/HOL/Hoare/Pointer_Examples.thy Fri Mar 21 18:16:18 2003 +0100 +++ b/src/HOL/Hoare/Pointer_Examples.thy Sun Mar 23 11:57:07 2003 +0100 @@ -6,7 +6,7 @@ Examples of verifications of pointer programs *) -theory Pointer_Examples = Pointers: +theory Pointer_Examples = HeapSyntax: section "Verifications"