src/Pure/sign.ML
changeset 31946 99ac0321cd47
parent 30585 6b2ba4666336
child 32789 d89327de0b3c
     1.1 --- a/src/Pure/sign.ML	Mon Jul 06 21:24:30 2009 +0200
     1.2 +++ b/src/Pure/sign.ML	Mon Jul 06 22:41:00 2009 +0200
     1.3 @@ -27,7 +27,7 @@
     1.4    val defaultS: theory -> sort
     1.5    val subsort: theory -> sort * sort -> bool
     1.6    val of_sort: theory -> typ * sort -> bool
     1.7 -  val witness_sorts: theory -> sort list -> sort list -> (typ * sort) list
     1.8 +  val witness_sorts: theory -> (typ * sort) list -> sort list -> (typ * sort) list
     1.9    val is_logtype: theory -> string -> bool
    1.10    val typ_instance: theory -> typ * typ -> bool
    1.11    val typ_equiv: theory -> typ * typ -> bool