-(* GENERATED FILE, DO NOT EDIT. STAMP:Fri Jan 4 11:45:29 CET 2008 *)
+(* GENERATED FILE, DO NOT EDIT. STAMP:Mon Mar 10 16:49:47 CET 2008 *)
val absurd : term:Cic.term -> ProofEngineTypes.tactic
val apply : term:Cic.term -> ProofEngineTypes.tactic
val applyS :
Cic.term -> ProofEngineTypes.tactic
val normalize :
pattern:ProofEngineTypes.lazy_pattern -> ProofEngineTypes.tactic
-val reduce : pattern:ProofEngineTypes.lazy_pattern -> ProofEngineTypes.tactic
val reflexivity : ProofEngineTypes.tactic
val replace :
pattern:ProofEngineTypes.lazy_pattern ->