src/HOL/Isar_examples/ROOT.ML

--- a/src/HOL/Isar_examples/ROOT.ML	Tue Dec 07 12:12:54 1999 +0100
+++ b/src/HOL/Isar_examples/ROOT.ML	Tue Dec 07 12:13:09 1999 +0100
@@ -15,5 +15,6 @@
 time_use_thy "MutilatedCheckerboard";
 with_path "../Induct" time_use_thy "MultisetOrder";
 with_path "../W0" time_use_thy "W_correct";
+with_path "../ex" time_use_thy "Fibonacci";
 time_use_thy "Puzzle";
 time_use_thy "Minimal";