]> 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)
commit44b999cf4e56f792cf4db5b2b7fce588735f1e4e
tree448188de1613f46f7df99194b4b7440c44e933a4
parentc86d82c60fc1244249df48b87fe988d9a5c2d7c3
resumed ol auto
helm/software/components/tactics/autoTactic.ml
helm/software/components/tactics/metadataQuery.ml
helm/software/components/tactics/metadataQuery.mli
helm/software/matita/library/nat/factorization.ma