]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 22ff568) | patch
New approach: we use "iterator" steps in place of pointers.
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 4 Dec 2013 14:59:15 +0000 (14:59 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 4 Dec 2013 14:59:15 +0000 (14:59 +0000)
commitc0bcdf6e5f2348725d2f13ec1c0677a9c21df206
treeba8e999f402fa6e21184abbc73242c68aa08f674tree | snapshot
parent22ff568044ad894d0e2a48bae84c13f95ee2d637commit | diff
New approach: we use "iterator" steps in place of pointers.
matita/matita/lib/MONADS/speranza2.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.