]> matita.cs.unibo.it Git - helm.git/commit
paramod_tac exported
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 18 Jan 2010 09:57:43 +0000 (09:57 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 18 Jan 2010 09:57:43 +0000 (09:57 +0000)
commit7b85558bb57881e7a7a6a9e52f22be7e0bc97908
tree69aed91b8594cbc8ea7e81444c5b8f8565064380
parent95eefcde41db69e3aaab3e75962c6c80c314c159
paramod_tac exported
helm/software/components/ng_tactics/nnAuto.mli