]> matita.cs.unibo.it Git - helm.git/commit
auto snapshot
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 30 Oct 2009 09:37:05 +0000 (09:37 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 30 Oct 2009 09:37:05 +0000 (09:37 +0000)
commit6dd2a996e8443d57fa3e3d0988829d01485d838a
treea838b446b71a78522f5b809a64c5b3c7d9aba07b
parentda715664068e859d20ab81fd6969e64d58c0f57e
auto snapshot
helm/software/components/ng_tactics/andOrTree.ml
helm/software/components/ng_tactics/andOrTree.mli
helm/software/components/ng_tactics/nAuto.ml
helm/software/components/ng_tactics/zipTree.ml
helm/software/components/ng_tactics/zipTree.mli