changeset 31946 | 99ac0321cd47 |
parent 30343 | 79f022df8527 |
child 32030 | 49d7d0bb90c6 |
--- a/src/Pure/type.ML Mon Jul 06 21:24:30 2009 +0200 +++ b/src/Pure/type.ML Mon Jul 06 22:41:00 2009 +0200 @@ -27,7 +27,7 @@ val inter_sort: tsig -> sort * sort -> sort val cert_class: tsig -> class -> class val cert_sort: tsig -> sort -> sort - val witness_sorts: tsig -> sort list -> sort list -> (typ * sort) list + val witness_sorts: tsig -> (typ * sort) list -> sort list -> (typ * sort) list type mode val mode_default: mode val mode_syntax: mode