]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 87a0acc) | 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)
commit285c01590113e2506c8b229458f4c99d3c7fc6a1
treebc83d90f2211f02b12db75c82278ce87568401bdtree | snapshot
parent87a0accbe80f344510bcb1a0d561e22b4e00e99ccommit | diff
More stuff in technicalities/setoids.ma
helm/software/matita/library/technicalities/setoids.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.