--- a/src/HOL/Isar_examples/ROOT.ML Wed Sep 01 21:45:48 1999 +0200
+++ b/src/HOL/Isar_examples/ROOT.ML Wed Sep 01 21:46:01 1999 +0200
@@ -13,3 +13,6 @@
time_use_thy "NatSum";
time_use_thy "KnasterTarski";
time_use_thy "MutilatedCheckerboard";
+
+add_path "../Induct";
+time_use_thy "MultisetOrder";