]> matita.cs.unibo.it Git - helm.git/commit
Renaming.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 1 Feb 2009 18:19:44 +0000 (18:19 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 1 Feb 2009 18:19:44 +0000 (18:19 +0000)
commit5f7dd050c5797ef12608feb26259d2dd9ef4bb38
treecc41a1591d81817c8655e9babebce9d31f04f9b2
parentdf018fb5614e932492d30f7388883d532b70709a
Renaming.
helm/software/matita/contribs/formal_topology/overlap/basic_topologies_to_o-basic_topologies.ma