matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Enrico Tassi <enrico.tassi@inria.fr>
	Thu, 17 May 2007 17:22:37 +0000 (17:22 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Thu, 17 May 2007 17:22:37 +0000 (17:22 +0000)
commit	c6cc2a7227d6750076f591a62d7b1896ebf1ebfa
tree	95fa979d271a78f0ce09ff8364ca7b8861026407	tree \| snapshot
parent	750d027aedc76aac9def8885dc2bdb6ccdc049d9	commit \| diff

added a (for the moment) dummy field _subst to ProofengineTypes.proof.
36 file touched ;-)

33 files changed:

helm/software/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
helm/software/components/grafite_engine/grafiteTypes.ml		diff \| blob \| history
helm/software/components/tactics/auto.ml		diff \| blob \| history
helm/software/components/tactics/autoTactic.ml		diff \| blob \| history
helm/software/components/tactics/declarative.ml		diff \| blob \| history
helm/software/components/tactics/discriminationTactics.ml		diff \| blob \| history
helm/software/components/tactics/eliminationTactics.ml		diff \| blob \| history
helm/software/components/tactics/equalityTactics.ml		diff \| blob \| history
helm/software/components/tactics/fourierR.ml		diff \| blob \| history
helm/software/components/tactics/fwdSimplTactic.ml		diff \| blob \| history
helm/software/components/tactics/introductionTactics.ml		diff \| blob \| history
helm/software/components/tactics/inversion.ml		diff \| blob \| history
helm/software/components/tactics/inversion_principle.ml		diff \| blob \| history
helm/software/components/tactics/metadataQuery.ml		diff \| blob \| history
helm/software/components/tactics/negationTactics.ml		diff \| blob \| history
helm/software/components/tactics/paramodulation/saturation.ml		diff \| blob \| history
helm/software/components/tactics/primitiveTactics.ml		diff \| blob \| history
helm/software/components/tactics/proofEngineHelpers.ml		diff \| blob \| history
helm/software/components/tactics/proofEngineHelpers.mli		diff \| blob \| history
helm/software/components/tactics/proofEngineStructuralRules.ml		diff \| blob \| history
helm/software/components/tactics/proofEngineTypes.ml		diff \| blob \| history
helm/software/components/tactics/proofEngineTypes.mli		diff \| blob \| history
helm/software/components/tactics/reductionTactics.ml		diff \| blob \| history
helm/software/components/tactics/ring.ml		diff \| blob \| history
helm/software/components/tactics/setoids.ml		diff \| blob \| history
helm/software/components/tactics/statefulProofEngine.ml		diff \| blob \| history
helm/software/components/tactics/substTactic.ml		diff \| blob \| history
helm/software/components/tactics/tacticals.ml		diff \| blob \| history
helm/software/components/tactics/variousTactics.ml		diff \| blob \| history
helm/software/matita/matita.ml		diff \| blob \| history
helm/software/matita/matitaMathView.ml		diff \| blob \| history
helm/software/matita/matitaScript.ml		diff \| blob \| history
helm/software/matita/matitaWiki.ml		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom