]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/nat/factorization2.ma
...
[helm.git] / helm / software / matita / library / nat / factorization2.ma
2008-06-12 Enrico TassiTesting some performance tricks by caching the list...
2008-06-11 Claudio Sacerdoti... New, much faster implementation of factorize.