src/Pure/sorts.ML
changeset 19408 9a52d5b7fc27
parent 19393 78d6b7a01b12
child 19463 6cb10eea48c3
     1.1 --- a/src/Pure/sorts.ML	Tue Apr 11 16:00:03 2006 +0200
     1.2 +++ b/src/Pure/sorts.ML	Tue Apr 11 16:00:05 2006 +0200
     1.3 @@ -22,7 +22,6 @@
     1.4    val class_eq: classes -> class * class -> bool
     1.5    val class_less: classes -> class * class -> bool
     1.6    val class_le: classes -> class * class -> bool
     1.7 -  val superclasses: classes -> class -> class list
     1.8    val sort_eq: classes -> sort * sort -> bool
     1.9    val sort_le: classes -> sort * sort -> bool
    1.10    val sorts_le: classes -> sort list * sort list -> bool
    1.11 @@ -106,8 +105,6 @@
    1.12  val class_less: classes -> class * class -> bool = Graph.is_edge;
    1.13  fun class_le classes (c1, c2) = c1 = c2 orelse class_less classes (c1, c2);
    1.14  
    1.15 -val superclasses = Graph.imm_succs
    1.16 -
    1.17  
    1.18  (* sorts *)
    1.19