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