src/Pure/axclass.ML
changeset 26246 e212c22f35c2
parent 25863 5b4a8b1d0f88
child 26516 1bf210ac0a90
equal deleted inserted replaced
26245:00cbf41ba625 26246:e212c22f35c2
    38   val param_of_inst: theory -> string * string -> string
    38   val param_of_inst: theory -> string * string -> string
    39   val inst_of_param: theory -> string -> (string * string) option
    39   val inst_of_param: theory -> string -> (string * string) option
    40   type cache
    40   type cache
    41   val of_sort: theory -> typ * sort -> cache -> thm list * cache  (*exception Sorts.CLASS_ERROR*)
    41   val of_sort: theory -> typ * sort -> cache -> thm list * cache  (*exception Sorts.CLASS_ERROR*)
    42   val cache: cache
    42   val cache: cache
       
    43   val introN: string
    43   val axiomsN: string
    44   val axiomsN: string
    44 end;
    45 end;
    45 
    46 
    46 structure AxClass: AX_CLASS =
    47 structure AxClass: AX_CLASS =
    47 struct
    48 struct