]> matita.cs.unibo.it Git - helm.git/commit
No more daemons, no more exTs.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Jan 2009 01:31:21 +0000 (01:31 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Jan 2009 01:31:21 +0000 (01:31 +0000)
commita99fe3ca5a39b4d9754b69863b5f9fb0f91ed286
tree474c50b59ee4521440aaf3588b87f562a526352b
parentc78cbede35ed85575e274864e6b6b9c635c6956d
No more daemons, no more exTs.
helm/software/matita/contribs/formal_topology/overlap/o-basic_topologies.ma
helm/software/matita/contribs/formal_topology/overlap/relations.ma
helm/software/matita/contribs/formal_topology/overlap/subsets.ma