src/Pure/sign.ML
changeset 42388 a44b0fdaa6c2
parent 42387 b1965c8992c8
child 43278 1fbdcebb364b
     1.1 --- a/src/Pure/sign.ML	Mon Apr 18 13:26:39 2011 +0200
     1.2 +++ b/src/Pure/sign.ML	Mon Apr 18 13:52:23 2011 +0200
     1.3 @@ -246,9 +246,9 @@
     1.4  val arity_number = Type.arity_number o tsig_of;
     1.5  fun arity_sorts thy = Type.arity_sorts (Context.pretty_global thy) (tsig_of thy);
     1.6  
     1.7 -val certify_class         = Type.cert_class o tsig_of;
     1.8 -val certify_sort          = Type.cert_sort o tsig_of;
     1.9 -val certify_typ           = Type.cert_typ o tsig_of;
    1.10 +val certify_class = Type.cert_class o tsig_of;
    1.11 +val certify_sort = Type.cert_sort o tsig_of;
    1.12 +val certify_typ = Type.cert_typ o tsig_of;
    1.13  fun certify_typ_mode mode = Type.cert_typ_mode mode o tsig_of;
    1.14  
    1.15