]> matita.cs.unibo.it Git - helm.git/commit
Added syntax for ninversion tactic (still experimental).
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 2 Mar 2010 14:06:40 +0000 (14:06 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 2 Mar 2010 14:06:40 +0000 (14:06 +0000)
commitd272210a331d720b08d50b845fa21fa7ec0d4252
treea08dfa47d516da3156f7d2ca2c2e3d697847835e
parent2b52dcc1742d2ee0616b6526e3ade1dd21ec10f3
Added syntax for ninversion tactic (still experimental).
helm/software/components/grafite/grafiteAst.ml
helm/software/components/grafite/grafiteAstPp.ml
helm/software/components/grafite_engine/grafiteEngine.ml
helm/software/components/grafite_parser/grafiteParser.ml
helm/software/components/ng_tactics/nInversion.ml
helm/software/components/ng_tactics/nTactics.ml
helm/software/components/ng_tactics/nTactics.mli