# HG changeset patch
# User wenzelm
# Date 1144764005 -7200
# Node ID 9a52d5b7fc274650d6db2b61b02cb7f96e5bb735
# Parent  7c7a2e337504ae9d976bb5be490992a147790024
removed superclasses (see sign.ML);

diff -r 7c7a2e337504 -r 9a52d5b7fc27 src/Pure/sorts.ML
--- 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 *)