src/HOL/Hoare/ROOT.ML

--- a/src/HOL/Hoare/ROOT.ML	Sun Jan 05 21:03:14 2003 +0100
+++ b/src/HOL/Hoare/ROOT.ML	Mon Jan 06 11:22:54 2003 +0100
@@ -6,4 +6,4 @@
 
 time_use_thy "Examples";
 time_use_thy "Pointers0";
-time_use_thy "Pointers";
+time_use_thy "Pointer_Examples";