]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 29 Jan 2009 11:48:31 +0000 (11:48 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 29 Jan 2009 11:48:31 +0000 (11:48 +0000)
commitd4cd2564126b15d4f0aa736353d25dfc34d2cad8
tree11f1e70fd89e7c55136641f1a770d4519bde8441
parent887916a4791bba656b1dec730d3315239d3c1f21
...
helm/software/matita/contribs/formal_topology/overlap/basic_topologies_to_o-basic_topologies.ma
helm/software/matita/contribs/formal_topology/overlap/saturations_to_o-saturations.ma