]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ff5d151) | patch
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
treeb088377696b2ba59742f46ca052cd824afb7bef9tree | snapshot
parentff5d15158c83a1f45d78daf99f22de83aed3eab0commit | diff
Renamed iterative into map_iter_p and moved around a few theorems.
helm/software/matita/library/nat/euler_theorem.ma diff | blob | history
helm/software/matita/library/nat/gcd.ma diff | blob | history
helm/software/matita/library/nat/iteration.ma [deleted file] blob | history
helm/software/matita/library/nat/map_iter_p.ma [new file with mode: 0644] blob
helm/software/matita/library/nat/orders.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.