]> matita.cs.unibo.it Git - helm.git/commit
Yet another universe problem :-(
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 4 Jan 2009 15:36:21 +0000 (15:36 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 4 Jan 2009 15:36:21 +0000 (15:36 +0000)
commit8dddbb8d9eac4bc85f071b192f8ae7e8b6ac7060
treec04fd0c8844d5ef76dfdb70937474c8db83ad365
parentcdc1636c7b536f1e667a2418140b82be6f4e0e30
Yet another universe problem :-(
helm/software/matita/contribs/formal_topology/overlap/depends
helm/software/matita/contribs/formal_topology/overlap/o-algebra.ma
helm/software/matita/contribs/formal_topology/overlap/relations.ma [new file with mode: 0644]