helm/ocaml/tactics/Makefile

   1 PACKAGE = tactics
   2 REQUIRES = helm-cic_textual_parser helm-cic_proof_checking helm-cic_unification
   3
   4 INTERFACE_FILES =       \
   5         proofEngineReduction.mli proofEngineHelpers.mli \
   6         tacticals.mli reductionTactics.mli proofEngineStructuralRules.mli       \
   7         primitiveTactics.mli variousTactics.mli introductionTactics.mli \
   8         eliminationTactics.mli negationTactics.mli equalityTactics.mli ring.mli \
   9         fourierR.mli
  10 IMPLEMENTATION_FILES =  \
  11         proofEngineTypes.ml proofEngineReduction.ml proofEngineHelpers.ml       \
  12         fourier.ml tacticals.ml reductionTactics.ml proofEngineStructuralRules.ml       \
  13         primitiveTactics.ml variousTactics.ml introductionTactics.ml    \
  14         eliminationTactics.ml negationTactics.ml equalityTactics.ml ring.ml     \
  15         fourierR.ml
  16
  17
  18 include ../Makefile.common
  19