--- a/src/Pure/sorts.ML Sat Jun 05 13:06:28 2004 +0200
+++ b/src/Pure/sorts.ML Sat Jun 05 13:06:39 2004 +0200
@@ -84,8 +84,8 @@
arities: table of association lists of all type arities; (t, ars)
means that type constructor t has the arities ars; an element (c,
Ss) of ars represents the arity t::(Ss)c. "Coregularity" of the
- arities structure requires that for any two declarations t:(Ss1)c1
- and t:(Ss2)c2 such that c1 <= c2 holds Ss1 <= Ss2.
+ arities structure requires that for any two declarations
+ t::(Ss1)c1 and t::(Ss2)c2 such that c1 <= c2 holds Ss1 <= Ss2.
*)
type classes = stamp Graph.T;