]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d3ea28) | patch
restored the good factorization file
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 29 Sep 2006 12:47:31 +0000 (12:47 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 29 Sep 2006 12:47:31 +0000 (12:47 +0000)
commitc0b3eeafbeea89d16f0615d07ddfe38f2ce10219
treea9dfb21d79e535f7a7077298475346a92c1bd434tree | snapshot
parent5d3ea284281464633474c92fffcf11480b2ce7e0commit | diff
restored the good factorization file
matita/library/nat/factorization.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.