diff options
Diffstat (limited to 'tactics/eqdecide.ml4')
-rw-r--r-- | tactics/eqdecide.ml4 | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/tactics/eqdecide.ml4 b/tactics/eqdecide.ml4 index f26eb1024..5329029a8 100644 --- a/tactics/eqdecide.ml4 +++ b/tactics/eqdecide.ml4 @@ -23,12 +23,9 @@ open Declarations open Tactics open Tacticals open Hiddentac -open Equality open Auto -open Pattern open Matching open Hipattern -open Proof_type open Tacmach open Coqlib |