]> matita.cs.unibo.it Git - helm.git/commit
Snapshot to try to understand something.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 4 Jan 2009 17:55:20 +0000 (17:55 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 4 Jan 2009 17:55:20 +0000 (17:55 +0000)
commit79ce67a7a7502462e827de098b1056516092c0a7
treec557dfe1481cac24e38a0bb341818015d2a4844c
parent32d2bb73b2ed863c988c61ce9d15404bb9d800ad
Snapshot to try to understand something.
helm/software/matita/contribs/formal_topology/overlap/basic_pairs.ma [new file with mode: 0644]
helm/software/matita/contribs/formal_topology/overlap/depends
helm/software/matita/contribs/formal_topology/overlap/relations.ma