]> matita.cs.unibo.it Git - helm.git/commit
Invocation of paramod
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 18 Jan 2010 09:59:04 +0000 (09:59 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 18 Jan 2010 09:59:04 +0000 (09:59 +0000)
commit88efee4c688d660d2205c5933d302770acb5b407
tree2706df79034da01d35ad4e2fdea38dd64f0d142e
parent7b85558bb57881e7a7a6a9e52f22be7e0bc97908
Invocation of paramod
helm/software/components/ng_tactics/nAuto.ml