]> matita.cs.unibo.it Git - helm.git/commit
A few more lemmas.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 17 Dec 2007 12:07:27 +0000 (12:07 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 17 Dec 2007 12:07:27 +0000 (12:07 +0000)
commit9edc9828ff3c3d074ccc5547a53eadf092c186d8
treeafe3a3ff895dfb1ff2e1841d7c5c4487f2e30334
parentcb3ae09aa47a3c12e3c2797db01b15e4d746e172
A few more lemmas.
helm/software/matita/library/nat/chebyshev.ma
helm/software/matita/library/nat/iteration2.ma
helm/software/matita/library/nat/map_iter_p.ma
helm/software/matita/library/nat/minus.ma
helm/software/matita/library/nat/neper.ma