(* PROJECT HELM *)
(* *)
(* Andrea Asperti <asperti@cs.unibo.it> *)
-(* 16/62003 *)
+(* 16/6/2003 *)
(* *)
(**************************************************************************)
type 'term inductive =
{ inductive_id : id ;
+ inductive_name : string;
inductive_kind : bool;
inductive_type : 'term;
inductive_constructors : 'term declaration list