]> matita.cs.unibo.it Git - helm.git/commit
attributes now in the proof status: commit 2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 10 Jan 2007 14:27:27 +0000 (14:27 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 10 Jan 2007 14:27:27 +0000 (14:27 +0000)
commite00d05ab58597620345c2fd49b84a23efa8db34c
treed9dbcb6dbfcb594f85538e8f6a60f08b3e8cc164
parentc55226c2a9536b1483f578192bc79d317f7b1971
attributes now in the proof status: commit 2
31 files changed:
components/cic/cic.ml
components/cic/cicParser.ml
components/cic_acic/cic2Xml.ml
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/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/statefulProofEngine.mli
components/tactics/tacticals.ml
components/tactics/variousTactics.ml