]> 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)
commit9a17bf0f4213f5f130326d658ce7ee4b41f6d6f2
tree2966180bed147ea019881b9e2d9b6deb2deb8340
parentf4f07dfb8a4e0235bc09698e3df8ff1e9ea7511b
Never implemented tactics compare and decide equality purged from the code.
components/grafite/grafiteAst.ml
components/grafite/grafiteAstPp.ml
components/grafite_engine/grafiteEngine.ml
components/grafite_parser/grafiteDisambiguate.ml
components/grafite_parser/grafiteParser.ml
components/tactics/discriminationTactics.ml
components/tactics/discriminationTactics.mli
components/tactics/tactics.ml
components/tactics/tactics.mli
matita/matita.lang