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 spelling bug
authorobua
Tue, 27 Sep 2005 14:41:41 +0200
changeset 17670 bf4f2c1b26cc
parent 17669 94dbbffbf94b
child 17671 e9e341bc7d42
corrected spelling bug
src/Pure/defs.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/defs.ML	Tue Sep 27 14:39:35 2005 +0200
+++ b/src/Pure/defs.ML	Tue Sep 27 14:41:41 2005 +0200
@@ -8,7 +8,7 @@
 with Overloading", Steven Obua, technical report, to be written :-)
 
 ATTENTION:
-Currently this implementation of the cylce test contains a bug of which the author is fully aware.
+Currently this implementation of the cycle test contains a bug of which the author is fully aware.
 This bug makes it possible to introduce inconsistent definitional cycles in Isabelle. 
 *)
isabelle