fixed typo in comment
authorpaulson
Fri Dec 22 14:24:04 2006 +0100 (2006-12-22)
changeset 21897d0c67d715deb
parent 21896 9a7949815a84
child 21898 46be40d304d7
fixed typo in comment
src/Pure/General/symbol.ML
     1.1 --- a/src/Pure/General/symbol.ML	Fri Dec 22 14:03:30 2006 +0100
     1.2 +++ b/src/Pure/General/symbol.ML	Fri Dec 22 14:24:04 2006 +0100
     1.3 @@ -2,7 +2,7 @@
     1.4      ID:         $Id$
     1.5      Author:     Markus Wenzel, TU Muenchen
     1.6  
     1.7 -Generalized characters with and infinite amount of named symbols.
     1.8 +Generalized characters with infinitely many named symbols.
     1.9  *)
    1.10  
    1.11  signature SYMBOL =