diff options
Diffstat (limited to 'tactics/tauto.ml4')
| -rw-r--r-- | tactics/tauto.ml4 | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tactics/tauto.ml4 b/tactics/tauto.ml4 index ea9906d8d..b493d989b 100644 --- a/tactics/tauto.ml4 +++ b/tactics/tauto.ml4 @@ -266,8 +266,6 @@ let t_reduction_not = tacticIn reduction_not let intuition_gen tac = interp (tacticIn (tauto_intuit t_reduction_not tac)) -let simplif_gen = interp (tacticIn simplif) - let tauto_intuitionistic g = try intuition_gen <:tactic<fail>> g with |