src/Pure/sign.ML

--- a/src/Pure/sign.ML	Mon Apr 18 13:26:39 2011 +0200
+++ b/src/Pure/sign.ML	Mon Apr 18 13:52:23 2011 +0200
@@ -246,9 +246,9 @@
 val arity_number = Type.arity_number o tsig_of;
 fun arity_sorts thy = Type.arity_sorts (Context.pretty_global thy) (tsig_of thy);
 
-val certify_class         = Type.cert_class o tsig_of;
-val certify_sort          = Type.cert_sort o tsig_of;
-val certify_typ           = Type.cert_typ o tsig_of;
+val certify_class = Type.cert_class o tsig_of;
+val certify_sort = Type.cert_sort o tsig_of;
+val certify_typ = Type.cert_typ o tsig_of;
 fun certify_typ_mode mode = Type.cert_typ_mode mode o tsig_of;