--- a/src/HOL/MicroJava/ROOT.ML Mon Feb 05 14:59:44 2001 +0100 +++ b/src/HOL/MicroJava/ROOT.ML Mon Feb 05 20:14:15 2001 +0100 @@ -1,4 +1,3 @@ - goals_limit := 1; add_path "J";