]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0828157) | patch
New proofs.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 19 Feb 2010 07:30:16 +0000 (07:30 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 19 Feb 2010 07:30:16 +0000 (07:30 +0000)
commit35a0b2aaeb0413fedbe7de94973167c98222e30e
tree26e024418c0f6bc2f9def55f17811371c1f3ea51tree | snapshot
parent08281577f00c9d178ff3227b49ab96e600917998commit | diff
New proofs.
helm/software/matita/nlibrary/basics/list.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.