--- a/src/Pure/ROOT.ML Fri Jul 19 18:44:37 2002 +0200 +++ b/src/Pure/ROOT.ML Sun Jul 21 15:37:04 2002 +0200 @@ -61,6 +61,7 @@ use "axclass.ML"; use "codegen.ML"; +use "Proof/extraction.ML"; (*old-style goal package*) use "goals.ML";