src/Pure/defs.ML
changeset 17670 bf4f2c1b26cc
parent 17669 94dbbffbf94b
child 17707 bc0270e9d27f
     1.1 --- a/src/Pure/defs.ML	Tue Sep 27 14:39:35 2005 +0200
     1.2 +++ b/src/Pure/defs.ML	Tue Sep 27 14:41:41 2005 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  with Overloading", Steven Obua, technical report, to be written :-)
     1.5  
     1.6  ATTENTION:
     1.7 -Currently this implementation of the cylce test contains a bug of which the author is fully aware.
     1.8 +Currently this implementation of the cycle test contains a bug of which the author is fully aware.
     1.9  This bug makes it possible to introduce inconsistent definitional cycles in Isabelle. 
    1.10  *)
    1.11