]> matita.cs.unibo.it Git - helm.git/commit
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2009 11:21:07 +0000 (11:21 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2009 11:21:07 +0000 (11:21 +0000)
commit8844ee999e40d69795aa73fbeb198997a46fcf04
tree3463b6f4f7a0d5df045fd0badc94d42139cc8113
parent0080faad4e730c227b6bbb2549407b23703b477a
...
helm/software/matita/contribs/formal_topology/overlap/basic_pairs_to_o-basic_pairs.ma
helm/software/matita/contribs/formal_topology/overlap/categories.ma
helm/software/matita/contribs/formal_topology/overlap/relations_to_o-algebra.ma