src/Pure/ROOT.ML

--- 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";