]> matita.cs.unibo.it Git - helm.git/commit
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
tree245bb4a326ce88e3ca37987a1173c8a7dbff99c0
parentb3488620204bbc7ea656c45096a703ff15160bd5
More progress in technicalities/setoids.ma.
I have now reached the final theorem!
helm/software/matita/library/technicalities/setoids.ma