src/HOL/IMP/ROOT.ML

--- a/src/HOL/IMP/ROOT.ML	Tue Jul 04 10:54:32 2000 +0200
+++ b/src/HOL/IMP/ROOT.ML	Tue Jul 04 10:54:46 2000 +0200
@@ -7,3 +7,4 @@
 time_use_thy "Expr";
 time_use_thy "Transition";
 time_use_thy "VC";
+time_use_thy "Examples";