1
2
writeln"Root file for LCF examples";
3
LCF_build_completed; (*Cause examples to fail if LCF did*)
4
5
proof_timing := true;
6
7
use"ex.ML";
8
9
cd "..";
10
maketest"END: file for LCF examples";