]> matita.cs.unibo.it Git - helm.git/commit
resumed ol auto
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 6 Oct 2006 16:41:53 +0000 (16:41 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 6 Oct 2006 16:41:53 +0000 (16:41 +0000)
commit94983be5804a0ecbd14b43fe3b7475443bc8c804
tree821ab7cfa40747c8c150ff532cf11d0a5a2b2bd8
parent971d6340adc9e8834e01ccc737d047033c7d406e
resumed ol auto
components/tactics/autoTactic.ml
components/tactics/metadataQuery.ml
components/tactics/metadataQuery.mli
matita/library/nat/factorization.ma