]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fdc6fe2) | patch
orelation_of_relation preserves equality and identities.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Jan 2009 13:13:23 +0000 (13:13 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Jan 2009 13:13:23 +0000 (13:13 +0000)
commitbefe31089d1d45360b5b7681556c8a762800b3a2
tree4c432947867467f021089e90264d963121441fb1tree | snapshot
parentfdc6fe20875e45ea7446516af8904e2fb9b15388commit | diff
orelation_of_relation preserves equality and identities.
helm/software/matita/contribs/formal_topology/overlap/relations.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.