Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
corrected comment
authorlcp
Tue, 18 Jan 1994 16:58:41 +0100
changeset 232 c28d2fc5dd1c
parent 231 cb6a24451544
child 233 efd6b4bb14dd
corrected comment
src/FOL/ex/int.ML file | annotate | diff | comparison | revisions 
--- 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...";
isabelle