--- a/src/FOLP/ex/ROOT.ML Wed Dec 01 12:41:25 1993 +0100
+++ b/src/FOLP/ex/ROOT.ML Wed Dec 01 12:45:49 1993 +0100
@@ -8,6 +8,8 @@
writeln"Root file for FOLP examples";
+FOLP_build_completed; (*Cause examples to fail if FOLP did*)
+
proof_timing := true;
time_use "ex/intro.ML";