# HG changeset patch # User wenzelm # Date 855585931 -3600 # Node ID 605e54988d50f31843d9f4efa6999e1acd9e0eab # Parent 4988dda71c0b4c566d2c006200345f93425dde5c fixed comment; diff -r 4988dda71c0b -r 605e54988d50 src/Pure/type.ML --- a/src/Pure/type.ML Mon Feb 10 12:52:11 1997 +0100 +++ b/src/Pure/type.ML Mon Feb 10 15:45:31 1997 +0100 @@ -129,7 +129,7 @@ subclass: an association list representing the subclass relation; (c, cs) is interpreted as "c is a proper subclass of all elemenst of cs"; note that - c itself is not a memeber of cs; + c itself is not a member of cs; default: the default sort attached to all unconstrained type vars;