# HG changeset patch
# User nipkow
# Date 1021046407 -7200
# Node ID d7f33559f871ed9b12272ef325138f32e283e6aa
# Parent  2d284f0dfd56d1168d63f8da18700b2e330ae4b5
Added Pointers.thy

diff -r 2d284f0dfd56 -r d7f33559f871 src/HOL/Hoare/ROOT.ML
--- a/src/HOL/Hoare/ROOT.ML	Fri May 10 17:59:55 2002 +0200
+++ b/src/HOL/Hoare/ROOT.ML	Fri May 10 18:00:07 2002 +0200
@@ -5,3 +5,4 @@
 *)
 
 time_use_thy "Examples";
+time_use_thy "Pointers";