X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2FMakefile;h=0cf06c578f58d9016802fe4a179093886419df73;hb=b4a7a577a04c56a68b6d79d06fdb925ff0bbd331;hp=36c81117f5e2d5b6a46ff916f1c69eddf59cc774;hpb=6150b8ef905aaea17b47ff466c067054f976cd8f;p=helm.git diff --git a/helm/ocaml/tactics/Makefile b/helm/ocaml/tactics/Makefile index 36c81117f..0cf06c578 100644 --- a/helm/ocaml/tactics/Makefile +++ b/helm/ocaml/tactics/Makefile @@ -6,7 +6,6 @@ REQUIRES = \ INTERFACE_FILES = \ newConstraints.mli match_concl.mli filter_auto.mli\ proofEngineReduction.mli proofEngineHelpers.mli \ - newConstraints.mli match_concl.mli \ tacticals.mli reductionTactics.mli proofEngineStructuralRules.mli \ primitiveTactics.mli tacticChaser.mli variousTactics.mli \ introductionTactics.mli eliminationTactics.mli negationTactics.mli \