]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fdb2b6f) | patch
More stuff in technicalities/setoids.ma
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Feb 2007 18:50:23 +0000 (18:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Feb 2007 18:50:23 +0000 (18:50 +0000)
commit8a074fd021ea693e3d3cacb9f6fce14a44489d0a
tree9b43c6fa5ccaf122b788af19e9ea5bf90f103a69tree | snapshot
parentfdb2b6f3e8f7fdcebd97b5da7e83f530a07cb973commit | diff
More stuff in technicalities/setoids.ma
matita/library/technicalities/setoids.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.