src/Pure/axclass.ML

   val param_of_inst: theory -> string * string -> string
   val inst_of_param: theory -> string -> (string * string) option
   type cache
   val of_sort: theory -> typ * sort -> cache -> thm list * cache  (*exception Sorts.CLASS_ERROR*)
   val cache: cache
+  val introN: string
   val axiomsN: string
 end;
 
 structure AxClass: AX_CLASS =
 struct