]> matita.cs.unibo.it Git - helm.git/commit
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)
commit285c01590113e2506c8b229458f4c99d3c7fc6a1
treebc83d90f2211f02b12db75c82278ce87568401bd
parent87a0accbe80f344510bcb1a0d561e22b4e00e99c
More stuff in technicalities/setoids.ma
helm/software/matita/library/technicalities/setoids.ma