Added Pointers.thy

--- 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";