]> matita.cs.unibo.it Git - helm.git/commit
more polishing
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 29 Jan 2009 13:00:42 +0000 (13:00 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 29 Jan 2009 13:00:42 +0000 (13:00 +0000)
commitb47c73ebbc1a6e8cc930a6c8c99f90d4fe2f19b8
treeb815007e8af78249e258826e747a752d84b3b715
parentd4cd2564126b15d4f0aa736353d25dfc34d2cad8
more polishing
helm/software/matita/contribs/formal_topology/overlap/o-basic_pairs_to_o-basic_topologies.ma
helm/software/matita/contribs/formal_topology/overlap/o-basic_topologies.ma
helm/software/matita/contribs/formal_topology/overlap/r-o-basic_pairs.ma