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