]> matita.cs.unibo.it Git - helm.git/commit
minor fixes
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 26 Jan 2009 17:12:56 +0000 (17:12 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 26 Jan 2009 17:12:56 +0000 (17:12 +0000)
commitccac4e720ff2a9bee8e1c9d5ba1ea6474db72572
tree6f91d33cbc8652aa3bde83f3fdcd971aa64ac553
parent8d961585c4ff785d558d5b4c84adf656595ca487
minor fixes
helm/software/matita/contribs/formal_topology/overlap/categories.ma
helm/software/matita/contribs/formal_topology/overlap/cprop_connectives.ma
helm/software/matita/contribs/formal_topology/overlap/notation.ma
helm/software/matita/contribs/formal_topology/overlap/o-basic_pairs_to_o-basic_topologies.ma