diff -r 0da2141606c6 -r 12997e3ddd8d src/HOL/Hoare/Pointer_Examples.thy
--- 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"