]> matita.cs.unibo.it Git - helm.git/commit
nAuto W.I.P.
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 6 Oct 2009 11:48:02 +0000 (11:48 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 6 Oct 2009 11:48:02 +0000 (11:48 +0000)
commit58ed5ecaefbcb025dedfdf709e6023292559e44a
tree762858faa0bb9980938b9829f48e53278f9eb71f
parent1b1a51a03ebfc8b16df3731729f857377183425f
nAuto W.I.P.
helm/software/components/grafite_engine/grafiteEngine.ml
helm/software/components/ng_tactics/nAuto.ml