]> matita.cs.unibo.it Git - helm.git/commit
Never implemented tactics compare and decide equality purged from the code.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 8 Feb 2006 13:38:43 +0000 (13:38 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 8 Feb 2006 13:38:43 +0000 (13:38 +0000)
commit8c19127e7ee6c71006838f89583a3283451b664c
tree7afded97001dc4ec0f500a24fec2b650f4c3b0c2
parent7fa83a1b30a0766f8bcb2c78a83f4d6b99699bf0
Never implemented tactics compare and decide equality purged from the code.
helm/software/components/grafite/grafiteAst.ml
helm/software/components/grafite/grafiteAstPp.ml
helm/software/components/grafite_engine/grafiteEngine.ml
helm/software/components/grafite_parser/grafiteDisambiguate.ml
helm/software/components/grafite_parser/grafiteParser.ml
helm/software/components/tactics/discriminationTactics.ml
helm/software/components/tactics/discriminationTactics.mli
helm/software/components/tactics/tactics.ml
helm/software/components/tactics/tactics.mli
helm/software/matita/matita.lang