]> matita.cs.unibo.it Git - helm.git/commit
removed dummy rewrite
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 2 Apr 2008 09:39:23 +0000 (09:39 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 2 Apr 2008 09:39:23 +0000 (09:39 +0000)
commit0f67d865f8fa608397c9cd5d534c51e7f1e4ae55
tree3be59de97885e7d74ecc68169a9c1b3444d28c2b
parentc02d3479aa43b1ddc03c1af111295151acc30d43
removed dummy rewrite
helm/software/matita/library/Z/plus.ma
helm/software/matita/library/nat/chebyshev_thm.ma
helm/software/matita/library/nat/count.ma
helm/software/matita/library/nat/map_iter_p.ma
helm/software/matita/library/nat/neper.ma