]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 928af76) | patch
Some more lemmas from CerCo.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 14 Dec 2011 14:39:09 +0000 (14:39 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 14 Dec 2011 14:39:09 +0000 (14:39 +0000)
commit910b8e95135bfabb852c2e6d918ff50bdcb98d0a
tree8e4d7f6752997bea6e50727a500b25de1e4b31a0tree | snapshot
parent928af763320668168206e88d93e8a77698f3b925commit | diff
Some more lemmas from CerCo.
matita/matita/lib/basics/types.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.