]> matita.cs.unibo.it Git - helm.git/commit
Renamed iterative into map_iter_p and moved around a few theorems.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 18 Dec 2006 11:52:57 +0000 (11:52 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 18 Dec 2006 11:52:57 +0000 (11:52 +0000)
commitf79585fe2f19c4a545938e189439d87b2611a47a
treeb088377696b2ba59742f46ca052cd824afb7bef9
parentff5d15158c83a1f45d78daf99f22de83aed3eab0
Renamed iterative into map_iter_p and moved around a few theorems.
helm/software/matita/library/nat/euler_theorem.ma
helm/software/matita/library/nat/gcd.ma
helm/software/matita/library/nat/iteration.ma [deleted file]
helm/software/matita/library/nat/map_iter_p.ma [new file with mode: 0644]
helm/software/matita/library/nat/orders.ma