]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7af9d84) | patch
New, much faster implementation of factorize.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Jun 2008 18:00:20 +0000 (18:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Jun 2008 18:00:20 +0000 (18:00 +0000)
commite62ffc0d340dabcca90d4cb91a46f5d5d40b18d6
tree62d8542580533a320ad31e596f52258e02a5a360tree | snapshot
parent7af9d84f465b5f4b609b08ae914681526d12480acommit | diff
New, much faster implementation of factorize.
helm/software/matita/library/nat/factorization2.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.