diff -r 49ca5e875691 -r a608f83e3421 src/FOLP/ex/ROOT.ML
--- 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";