diff -r 8060978feaf4 -r 6cd59cc885a1 src/HOL/Hoare/ROOT.ML
--- a/src/HOL/Hoare/ROOT.ML	Fri Jan 03 10:24:24 2003 +0100
+++ b/src/HOL/Hoare/ROOT.ML	Sun Jan 05 21:03:14 2003 +0100
@@ -5,4 +5,5 @@
 *)
 
 time_use_thy "Examples";
+time_use_thy "Pointers0";
 time_use_thy "Pointers";