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.
fixed comment;
authorwenzelm
Mon, 10 Feb 1997 15:45:31 +0100
changeset 2604 605e54988d50
parent 2603 4988dda71c0b
child 2605 1effe7413486
fixed comment;
src/Pure/type.ML file | annotate | diff | comparison | revisions 
--- 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;
isabelle