src/HOL/Hoare/ROOT.ML
changeset 13132 d7f33559f871
parent 9000 c20d58286a51
child 13771 6cd59cc885a1
--- 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";