]> matita.cs.unibo.it Git - helm.git/commit
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 12 Sep 2008 15:51:14 +0000 (15:51 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 12 Sep 2008 15:51:14 +0000 (15:51 +0000)
commit121d6d7cd72ae57a4ed838ef02ae98f3bafb6e9d
tree468afb442677eb187b4e5d72af094915fc3de013
parent1110bdf814f976ef0a36a024d2cba847ce06347e
...
helm/software/matita/library/formal_topology/basic_pairs.ma
helm/software/matita/library/formal_topology/basic_topologies.ma
helm/software/matita/library/formal_topology/relations.ma