(* *)
(**************************************************************************)
+(* $Id$ *)
+
let object_prefix = "obj:";;
let declaration_prefix = "decl:";;
let definition_prefix = "def:";;
K.ArgProof
{body with K.proof_name = name; K.proof_context=context} in
List.map2 build_proof patterns name_and_arities in
- let teid = get_id te in
let context,term =
(match
build_subproofs_and_args