src/ZF/Resid/ROOT.ML

 ZF_build_completed;	(*Make examples fail if ZF did*)
 
 writeln"Root file for ZF/Resid";
 proof_timing := true;
 
-loadpath := [".", "Resid"];
-
 time_use_thy "Confluence";
 
-make_chart ();   (*make HTML chart*)
-
 writeln"END: Root file for ZF/Resid";