--- a/src/HOL/Hoare/ROOT.ML Fri Mar 21 18:16:18 2003 +0100
+++ b/src/HOL/Hoare/ROOT.ML Sun Mar 23 11:57:07 2003 +0100
@@ -8,3 +8,5 @@
time_use_thy "ExamplesAbort";
time_use_thy "Pointers0";
time_use_thy "Pointer_Examples";
+time_use_thy "Pointer_ExamplesAbort";
+time_use_thy "SchorrWaite";