ProofEngineTypes.tactic
val elim_intros_simpl_tac:
term: Cic.term -> ProofEngineTypes.tactic
val elim_intros_tac:
term: Cic.term -> ProofEngineTypes.tactic
ProofEngineTypes.tactic
val elim_intros_simpl_tac:
term: Cic.term -> ProofEngineTypes.tactic
val elim_intros_tac:
term: Cic.term -> ProofEngineTypes.tactic