]> 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)
commit9fce3bebddf47429f6fcab726f11dafbf3295749
tree965ccb663178ce2ad2dc16101038934cf8287087
parentfd0b1bb8a2cb5f57f148e6500ea2d5937082a7fa
New tactic cases (still to be documented).
It is necessary for the declarative language and it is useful anyway.
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/primitiveTactics.ml
helm/software/components/tactics/primitiveTactics.mli
helm/software/components/tactics/tactics.ml
helm/software/components/tactics/tactics.mli
helm/software/matita/matita.lang