--- a/src/HOL/IMP/ROOT.ML Thu Apr 25 17:36:29 2002 +0200
+++ b/src/HOL/IMP/ROOT.ML Fri Apr 26 11:47:01 2002 +0200
@@ -10,4 +10,5 @@
time_use_thy "Transition";
time_use_thy "VC";
time_use_thy "Examples";
+time_use_thy "Compiler0";
time_use_thy "Compiler";