]> matita.cs.unibo.it Git - helm.git/commit
some notation for map_arrows2
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 6 Jul 2010 10:42:33 +0000 (10:42 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 6 Jul 2010 10:42:33 +0000 (10:42 +0000)
commit05cfeb82d2624860e66941421a937f308d66cf33
tree7d798961229ac98a06ffcc3d2826b3ebc5b4ce57
parentc88511384a331d5583fb665f3f08c731c7ebe036
some notation for map_arrows2
helm/software/matita/contribs/formal_topology/overlap/basic_pairs_to_o-basic_pairs.ma
helm/software/matita/contribs/formal_topology/overlap/basic_topologies.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