]> matita.cs.unibo.it Git - helm.git/commit
New tactic cases (still to be documented).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Dec 2006 22:34:35 +0000 (22:34 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Dec 2006 22:34:35 +0000 (22:34 +0000)
commit6a25db65c9a787daf7344e3b166b2d798b1ff1a5
tree6c376ee1eb778346a86f47cf40beebb2da4795ec
parent6968ba1ad67ba19e9d794260dc21ba2246d31dac
New tactic cases (still to be documented).
It is necessary for the declarative language and it is useful anyway.
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/primitiveTactics.ml
components/tactics/primitiveTactics.mli
components/tactics/tactics.ml
components/tactics/tactics.mli
matita/matita.lang