diff options
Diffstat (limited to 'tactics/elim.mli')
| -rw-r--r-- | tactics/elim.mli | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/tactics/elim.mli b/tactics/elim.mli index 35b7b26025..b83a97bccb 100644 --- a/tactics/elim.mli +++ b/tactics/elim.mli @@ -8,9 +8,6 @@ open Names open Term -open Proof_type -open Tacmach -open Genarg open Tacticals open Misctypes |