src/Pure/ROOT.ML
changeset 28952 15a4b2cf8c34
parent 28404 b906dd1de855
child 28965 1de908189869
     1.1 --- a/src/Pure/ROOT.ML	Wed Dec 03 09:53:58 2008 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Wed Dec 03 15:58:44 2008 +0100
     1.3 @@ -88,6 +88,8 @@
     1.4  
     1.5  cd "Tools"; use "ROOT.ML"; cd "..";
     1.6  
     1.7 +use "../Tools/value.ML";
     1.8 +use "../Tools/quickcheck.ML";
     1.9  use "codegen.ML";
    1.10  
    1.11  (*configuration for Proof General*)