]> matita.cs.unibo.it Git - helm.git/commit
big mess of notation
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 10 Jul 2010 16:29:47 +0000 (16:29 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 10 Jul 2010 16:29:47 +0000 (16:29 +0000)
commit13088dbb8e54833dfbe2d6c38b08d78fc36452a8
tree56dc408bc6998aed9df8ab3050545c6706d4abca
parent5fee26d2afb3a67370c92481bfbfdbd9ebed741e
big mess of notation
helm/software/matita/library/formal_topology/basic_pairs.ma
helm/software/matita/library/formal_topology/basic_pairs_to_basic_topologies.ma
helm/software/matita/library/formal_topology/basic_topologies.ma
helm/software/matita/library/formal_topology/basic_topologies_to_o-basic_topologies.ma
helm/software/matita/library/formal_topology/categories.ma
helm/software/matita/library/formal_topology/o-algebra.ma
helm/software/matita/library/formal_topology/relations.ma
helm/software/matita/library/formal_topology/relations_to_o-algebra.ma
helm/software/matita/library/formal_topology/subsets.ma