val simpl_tac: ProofEngineTypes.tactic
val reduce_tac: ProofEngineTypes.tactic
val whd_tac: ProofEngineTypes.tactic
-val fold_tac: term:Cic.term -> ProofEngineTypes.tactic
+val fold_tac:
+ also_in_hypotheses:bool -> term:Cic.term -> ProofEngineTypes.tactic