--- a/src/LCF/ROOT.ML Thu Mar 11 12:34:10 1999 +0100 +++ b/src/LCF/ROOT.ML Thu Mar 11 13:20:35 1999 +0100 @@ -16,5 +16,3 @@ use"simpdata.ML"; use_thy"pair"; use_thy"fix"; - -val LCF_build_completed = (); (*indicate successful build*)