]> 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)
commit61a2faa2694907757dd617175e0144705e79d65a
tree13cc908c8a9b41d98bb67b26abfcd22259e70002
parent05078521aaff6f41f55114e5332663b1e9706824
attributes now in the proof status: commit 2
31 files changed:
helm/software/components/cic/cic.ml
helm/software/components/cic/cicParser.ml
helm/software/components/cic_acic/cic2Xml.ml
helm/software/components/grafite_engine/grafiteEngine.ml
helm/software/components/grafite_engine/grafiteTypes.ml
helm/software/components/tactics/auto.ml
helm/software/components/tactics/autoTactic.ml
helm/software/components/tactics/declarative.ml
helm/software/components/tactics/discriminationTactics.ml
helm/software/components/tactics/eliminationTactics.ml
helm/software/components/tactics/equalityTactics.ml
helm/software/components/tactics/fourierR.ml
helm/software/components/tactics/fwdSimplTactic.ml
helm/software/components/tactics/introductionTactics.ml
helm/software/components/tactics/inversion.ml
helm/software/components/tactics/inversion_principle.ml
helm/software/components/tactics/metadataQuery.ml
helm/software/components/tactics/negationTactics.ml
helm/software/components/tactics/paramodulation/saturation.ml
helm/software/components/tactics/primitiveTactics.ml
helm/software/components/tactics/proofEngineHelpers.ml
helm/software/components/tactics/proofEngineStructuralRules.ml
helm/software/components/tactics/proofEngineTypes.ml
helm/software/components/tactics/proofEngineTypes.mli
helm/software/components/tactics/reductionTactics.ml
helm/software/components/tactics/ring.ml
helm/software/components/tactics/setoids.ml
helm/software/components/tactics/statefulProofEngine.ml
helm/software/components/tactics/statefulProofEngine.mli
helm/software/components/tactics/tacticals.ml
helm/software/components/tactics/variousTactics.ml