--- a/src/FOLP/ex/ROOT.ML Thu Mar 11 12:34:10 1999 +0100
+++ b/src/FOLP/ex/ROOT.ML Thu Mar 11 13:20:35 1999 +0100
@@ -8,8 +8,6 @@
writeln"Root file for FOLP examples";
-FOLP_build_completed; (*Cause examples to fail if FOLP did*)
-
set proof_timing;
time_use "intro.ML";