--- a/src/Pure/sorts.ML Tue Apr 11 16:00:03 2006 +0200
+++ b/src/Pure/sorts.ML Tue Apr 11 16:00:05 2006 +0200
@@ -22,7 +22,6 @@
val class_eq: classes -> class * class -> bool
val class_less: classes -> class * class -> bool
val class_le: classes -> class * class -> bool
- val superclasses: classes -> class -> class list
val sort_eq: classes -> sort * sort -> bool
val sort_le: classes -> sort * sort -> bool
val sorts_le: classes -> sort list * sort list -> bool
@@ -106,8 +105,6 @@
val class_less: classes -> class * class -> bool = Graph.is_edge;
fun class_le classes (c1, c2) = c1 = c2 orelse class_less classes (c1, c2);
-val superclasses = Graph.imm_succs
-
(* sorts *)