src/Pure/Tools/ROOT.ML
changeset 28227 77221ee0f7b9
parent 25525 d6b898681fc7
child 28247 8aa636a9e2ce
     1.1 --- a/src/Pure/Tools/ROOT.ML	Mon Sep 15 20:51:58 2008 +0200
     1.2 +++ b/src/Pure/Tools/ROOT.ML	Tue Sep 16 09:21:22 2008 +0200
     1.3 @@ -4,6 +4,7 @@
     1.4  Miscellaneous tools and packages for Pure Isabelle.
     1.5  *)
     1.6  
     1.7 +use "value.ML";
     1.8  use "named_thms.ML";
     1.9  use "isabelle_process.ML";
    1.10  
    1.11 @@ -12,4 +13,3 @@
    1.12  
    1.13  (*derived theory and proof elements*)
    1.14  use "invoke.ML";
    1.15 -