--- a/doc-src/IsarOverview/Isar/ROOT.ML Fri Aug 27 12:57:55 2010 +0200
+++ b/doc-src/IsarOverview/Isar/ROOT.ML Fri Aug 27 14:07:09 2010 +0200
@@ -1,3 +1,3 @@
-Unsynchronized.set quick_and_dirty;
+quick_and_dirty := true;
use_thys ["Logic", "Induction"];