2 term: Cic.term -> ProofEngineTypes.tactic
4 term: Cic.term -> ProofEngineTypes.tactic
6 name: string -> ProofEngineTypes.tactic
8 term: Cic.term -> ProofEngineTypes.tactic
10 term: Cic.term -> ProofEngineTypes.tactic
12 val elim_intros_simpl_tac:
13 term: Cic.term -> ProofEngineTypes.tactic