]> matita.cs.unibo.it Git - helm.git/commit
some minor fixes
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 21 Jan 2009 17:52:33 +0000 (17:52 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 21 Jan 2009 17:52:33 +0000 (17:52 +0000)
commit3e094922bf3fec6975fdbe6feceb509eaafe0563
tree1d1d89b47961d3916a4d7e2aeae4553bb6fff5d9
parentb6e187ff7580c3dbec8bf467915d0ccd0dfd65a8
some minor fixes
helm/software/matita/contribs/formal_topology/overlap/basic_pairs_to_o-basic_pairs.ma
helm/software/matita/contribs/formal_topology/overlap/categories.ma
helm/software/matita/contribs/formal_topology/overlap/o-algebra.ma
helm/software/matita/contribs/formal_topology/overlap/o-basic_pairs.ma
helm/software/matita/contribs/formal_topology/overlap/relations_to_o-algebra.ma
helm/software/matita/contribs/formal_topology/overlap/subsets.ma