src/Pure/ROOT.ML
changeset 40743 b07a0dbc8a38
parent 39557 fe5722fce758
child 40748 591b6778d076
--- a/src/Pure/ROOT.ML	Sat Nov 27 14:32:08 2010 +0100
+++ b/src/Pure/ROOT.ML	Sat Nov 27 15:28:00 2010 +0100
@@ -233,6 +233,7 @@
 use "Isar/toplevel.ML";
 
 (*theory documents*)
+use "System/isabelle_system.ML";
 use "Thy/present.ML";
 use "Thy/term_style.ML";
 use "Thy/thy_output.ML";