]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 6 Oct 2009 13:16:08 +0000 (13:16 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 6 Oct 2009 13:16:08 +0000 (13:16 +0000)
commit45feaa6c75ecd1e7457581fc5d3c1dd8cda72807
treeb771b2b9cda418fecdc8e92da960a1919ee2d18c
parent58ed5ecaefbcb025dedfdf709e6023292559e44a
...
helm/software/components/ng_tactics/nAuto.ml