src/Pure/ROOT.ML
changeset 58660 8d4aebb9e327
parent 58470 890d8286fd4e
child 58664 4e4a4c758f9c
     1.1 --- a/src/Pure/ROOT.ML	Mon Oct 13 18:45:48 2014 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Mon Oct 13 19:34:10 2014 +0200
     1.3 @@ -278,6 +278,7 @@
     1.4  use "Isar/bundle.ML";
     1.5  
     1.6  use "simplifier.ML";
     1.7 +use "Tools/plugin.ML";
     1.8  
     1.9  (*executable theory content*)
    1.10  use "Isar/code.ML";