--- a/doc-src/IsarOverview/Isar/ROOT.ML Thu Oct 01 20:04:44 2009 +0200
+++ b/doc-src/IsarOverview/Isar/ROOT.ML Thu Oct 01 20:06:11 2009 +0200
@@ -1,2 +1,3 @@
-use_thy "Logic";
-use_thy "Induction"
+Unsynchronized.set quick_and_dirty;
+
+use_thys ["Logic", "Induction"];