]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0733a61) | patch
progress
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 28 Jan 2014 10:09:51 +0000 (10:09 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 28 Jan 2014 10:09:51 +0000 (10:09 +0000)
commitc51d5f38fa0210a0fb16187f4f39f8de4d296f28
treeadd6a8689bd3feec8d03744466b907c34b18ad6ctree | snapshot
parent0733a61e7b3a0f6173b403e3bfc2257b725b44f2commit | diff
progress
matita/matita/lib/reverse_complexity/speed_clean.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.