# HG changeset patch
# User haftmann
# Date 1235380077 -3600
# Node ID c9a1e0f7621be9f949e7edc7ed2d778b86a8b540
# Parent  3cd19b113854fb919a3549283547b735a7d167a2
stripped classrels_of, instances_of

diff -r 3cd19b113854 -r c9a1e0f7621b src/Pure/sorts.ML
--- a/src/Pure/sorts.ML	Mon Feb 23 08:19:25 2009 +0100
+++ b/src/Pure/sorts.ML	Mon Feb 23 10:07:57 2009 +0100
@@ -46,8 +46,6 @@
   val add_arities: Pretty.pp -> string * (class * sort list) list -> algebra -> algebra
   val empty_algebra: algebra
   val merge_algebra: Pretty.pp -> algebra * algebra -> algebra
-  val classrels_of: algebra -> (class * class list) list
-  val instances_of: algebra -> (string * class) list
   val subalgebra: Pretty.pp -> (class -> bool) -> (class * string -> sort list option)
     -> algebra -> (sort -> sort) * algebra
   type class_error
@@ -302,22 +300,6 @@
 
 (* algebra projections *)
 
-val sorted_classes = rev o flat o Graph.strong_conn o classes_of;
-
-fun classrels_of algebra = 
-  map (fn c => (c, Graph.imm_succs (classes_of algebra) c)) (sorted_classes algebra);
-
-fun instances_of algebra =
-  let
-    val arities = arities_of algebra;
-    val all_classes = sorted_classes algebra;
-    fun sort_classes cs = filter (member (op = o apsnd fst) cs)
-      all_classes;
-  in
-    Symtab.fold (fn (a, cs) => append ((map (pair a) o sort_classes) cs))
-      arities []
-  end;
-
 fun subalgebra pp P sargs (algebra as Algebra {classes, arities}) =
   let
     val restrict_sort = minimize_sort algebra o filter P o Graph.all_succs classes;