--- a/src/Pure/axclass.ML Wed Jul 12 17:00:30 2006 +0200
+++ b/src/Pure/axclass.ML Wed Jul 12 17:00:31 2006 +0200
@@ -12,7 +12,7 @@
val class_intros: theory -> thm list
val params_of: theory -> class -> string list
val all_params_of: theory -> sort -> string list
- val class_of: theory -> string -> class option
+ val class_of_param: theory -> string -> class option
val print_axclasses: theory -> unit
val cert_classrel: theory -> class * class -> class * class
val read_classrel: theory -> xstring * xstring -> class * class
@@ -134,7 +134,7 @@
fun params_of thy c = get_params thy (fn c' => c' = c);
fun all_params_of thy S = get_params thy (fn c => Sign.subsort thy (S, [c]));
-fun class_of thy =
+fun class_of_param thy =
AList.lookup (op =) (#2 (get_axclasses thy));