]> matita.cs.unibo.it Git - helm.git/commit
added a (for the moment) dummy field _subst to ProofengineTypes.proof.
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 17 May 2007 17:22:37 +0000 (17:22 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 17 May 2007 17:22:37 +0000 (17:22 +0000)
commitfbdd1cc46819d19ed135391a4a954c19d1b92c0c
tree0eda3d427af26f6bbfd175813553beffac9a3c21
parenta1c4c601850c71e094a4703af00f02ca2026d8ed
added a (for the moment) dummy field _subst to ProofengineTypes.proof.
36 file touched ;-)
33 files changed:
components/grafite_engine/grafiteEngine.ml
components/grafite_engine/grafiteTypes.ml
components/tactics/auto.ml
components/tactics/autoTactic.ml
components/tactics/declarative.ml
components/tactics/discriminationTactics.ml
components/tactics/eliminationTactics.ml
components/tactics/equalityTactics.ml
components/tactics/fourierR.ml
components/tactics/fwdSimplTactic.ml
components/tactics/introductionTactics.ml
components/tactics/inversion.ml
components/tactics/inversion_principle.ml
components/tactics/metadataQuery.ml
components/tactics/negationTactics.ml
components/tactics/paramodulation/saturation.ml
components/tactics/primitiveTactics.ml
components/tactics/proofEngineHelpers.ml
components/tactics/proofEngineHelpers.mli
components/tactics/proofEngineStructuralRules.ml
components/tactics/proofEngineTypes.ml
components/tactics/proofEngineTypes.mli
components/tactics/reductionTactics.ml
components/tactics/ring.ml
components/tactics/setoids.ml
components/tactics/statefulProofEngine.ml
components/tactics/substTactic.ml
components/tactics/tacticals.ml
components/tactics/variousTactics.ml
matita/matita.ml
matita/matitaMathView.ml
matita/matitaScript.ml
matita/matitaWiki.ml