]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8770896) | patch
Useful lemma added.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 21 Nov 2005 18:07:27 +0000 (18:07 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 21 Nov 2005 18:07:27 +0000 (18:07 +0000)
commit69e7d276ed3d68ae78d5e8091cc19c714c69572c
tree5eb4ef5823879b9c97c84a7b17d1afc234fe93bftree | snapshot
parent87708967ed20000d7fb10ed04596a0c0c0ffafe1commit | diff
Useful lemma added.
helm/matita/library/datatypes/bool.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.