--- a/src/FOL/ex/int.ML Tue Jan 18 16:37:12 1994 +0100+++ b/src/FOL/ex/int.ML Tue Jan 18 16:58:41 1994 +0100@@ -180,7 +180,7 @@ result();-writeln"U****Examples with quantifiers****";+writeln"****Examples with quantifiers****"; writeln"The converse is classical in the following implications...";