src/FOLP/ex/ROOT.ML
changeset 177 921ad94fdddb
parent 121 d392174734e9
child 1296 ae31bb7774a7
     1.1 --- a/src/FOLP/ex/ROOT.ML	Wed Dec 01 12:41:25 1993 +0100
     1.2 +++ b/src/FOLP/ex/ROOT.ML	Wed Dec 01 12:45:49 1993 +0100
     1.3 @@ -8,6 +8,8 @@
     1.4  
     1.5  writeln"Root file for FOLP examples";
     1.6  
     1.7 +FOLP_build_completed;	(*Cause examples to fail if FOLP did*)
     1.8 +
     1.9  proof_timing := true;
    1.10  
    1.11  time_use     "ex/intro.ML";