]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8371b73) | patch
A new function.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 17 Sep 2007 13:17:20 +0000 (13:17 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 17 Sep 2007 13:17:20 +0000 (13:17 +0000)
commitce978e117a5f95f584414bc3e55b1b138d168beb
tree11a2d78606a60ba1740d44ddde44f79e7e395064tree | snapshot
parent8371b732378d23201103c8f262f0b8d7e8ff602fcommit | diff
A new function.
matita/library/nat/generic_iter_p.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.