]> matita.cs.unibo.it Git - helm.git/commit
new tactic constructor: @[n]
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Sep 2009 12:13:03 +0000 (12:13 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Sep 2009 12:13:03 +0000 (12:13 +0000)
commita82bb964ad0bf0969dae008a4de854532846e455
tree56549a6f088edf5b08ebb3297fca9e010508686f
parent73a66cce6e72c654fdcd0ce760c405a74af70d08
new tactic constructor: @[n]
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/nTactics.ml
helm/software/components/ng_tactics/nTactics.mli