src/ZF/ex/ROOT.ML
changeset 6349 f7750d816c21
parent 6045 6a9dc67d48f5
child 9000 c20d58286a51
--- a/src/ZF/ex/ROOT.ML	Thu Mar 11 12:34:10 1999 +0100
+++ b/src/ZF/ex/ROOT.ML	Thu Mar 11 13:20:35 1999 +0100
@@ -6,8 +6,6 @@
 Executes miscellaneous examples for Zermelo-Fraenkel Set Theory
 *)
 
-ZF_build_completed;     (*Make examples fail if ZF did*)
-
 writeln"Root file for ZF Set Theory examples";
 set proof_timing;