fixed comment;
authorwenzelm
Mon Feb 10 15:45:31 1997 +0100 (1997-02-10)
changeset 2604605e54988d50
parent 2603 4988dda71c0b
child 2605 1effe7413486
fixed comment;
src/Pure/type.ML
     1.1 --- a/src/Pure/type.ML	Mon Feb 10 12:52:11 1997 +0100
     1.2 +++ b/src/Pure/type.ML	Mon Feb 10 15:45:31 1997 +0100
     1.3 @@ -129,7 +129,7 @@
     1.4    subclass:
     1.5      an association list representing the subclass relation; (c, cs) is
     1.6      interpreted as "c is a proper subclass of all elemenst of cs"; note that
     1.7 -    c itself is not a memeber of cs;
     1.8 +    c itself is not a member of cs;
     1.9  
    1.10    default:
    1.11      the default sort attached to all unconstrained type vars;