src/Pure/axclass.ML

--- a/src/Pure/axclass.ML	Wed Jan 04 16:38:40 2006 +0100
+++ b/src/Pure/axclass.ML	Wed Jan 04 17:03:43 2006 +0100
@@ -24,6 +24,8 @@
   val instance_subclass_i: class * class -> theory -> Proof.state
   val instance_arity: xstring * string list * string -> theory -> Proof.state
   val instance_arity_i: string * sort list * sort -> theory -> Proof.state
+  val read_arity: theory -> xstring * string list * string -> arity
+  val cert_arity: theory -> string * sort list * sort -> arity
   val intro_classes_tac: thm list -> tactic
   val default_intro_classes_tac: thm list -> tactic
 end;