diff -r eb529c6883ec -r 4c57e850e8d5 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Tue Jul 25 23:17:42 2006 +0200
+++ b/src/Pure/ROOT.ML	Wed Jul 26 00:44:44 2006 +0200
@@ -71,6 +71,7 @@
 
 (*the Isar system*)
 cd "Isar"; use "ROOT.ML"; cd "..";
+use "subgoal.ML";
 
 use "Proof/extraction.ML";