--- a/src/HOL/Hoare/ROOT.ML Tue Mar 11 15:04:24 2003 +0100
+++ b/src/HOL/Hoare/ROOT.ML Tue Mar 11 15:04:24 2003 +0100
@@ -5,5 +5,6 @@
*)
time_use_thy "Examples";
+time_use_thy "ExamplesAbort";
time_use_thy "Pointers0";
time_use_thy "Pointer_Examples";