diff -r a3d4b4eb35b9 -r 239a0efd38b2 src/Pure/axclass.ML
--- 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));