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