--- a/src/FOLP/ex/ROOT.ML Tue Jan 30 15:12:53 1996 +0100
+++ b/src/FOLP/ex/ROOT.ML Tue Jan 30 15:19:20 1996 +0100
@@ -22,7 +22,6 @@
val thy = IFOLP.thy and tac = Int.fast_tac 1;
time_use "prop.ML";
time_use "quant.ML";
-commit();
writeln"\n** Classical examples **\n";
time_use "cla.ML";