src/Pure/sorts.ML
changeset 22364 ddb91c9eb0fc
parent 22196 680b04dbd51c
child 22570 f166a5416b3f
     1.1 --- a/src/Pure/sorts.ML	Mon Feb 26 23:18:28 2007 +0100
     1.2 +++ b/src/Pure/sorts.ML	Mon Feb 26 23:18:29 2007 +0100
     1.3 @@ -15,7 +15,6 @@
     1.4  
     1.5  signature SORTS =
     1.6  sig
     1.7 -  val eq_set: sort list * sort list -> bool
     1.8    val union: sort list -> sort list -> sort list
     1.9    val subtract: sort list -> sort list -> sort list
    1.10    val remove_sort: sort -> sort list -> sort list
    1.11 @@ -66,7 +65,6 @@
    1.12  
    1.13  (** ordered lists of sorts **)
    1.14  
    1.15 -val eq_set = OrdList.eq_set Term.sort_ord;
    1.16  val op union = OrdList.union Term.sort_ord;
    1.17  val subtract = OrdList.subtract Term.sort_ord;
    1.18