]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b348862) | patch
More progress in technicalities/setoids.ma.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 8 Feb 2007 18:46:57 +0000 (18:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 8 Feb 2007 18:46:57 +0000 (18:46 +0000)
commit36ec3af819e828bf847ba9ae2bff76d0b8ac08e7
tree245bb4a326ce88e3ca37987a1173c8a7dbff99c0tree | snapshot
parentb3488620204bbc7ea656c45096a703ff15160bd5commit | diff
More progress in technicalities/setoids.ma.
I have now reached the final theorem!
helm/software/matita/library/technicalities/setoids.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.