]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 30 Jun 2010 13:29:50 +0000 (13:29 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 30 Jun 2010 13:29:50 +0000 (13:29 +0000)
commit95ac064b854f31a49f2f8cd3c4b4f4929dc96fc0
tree8ccf96afd770be642473363ef4a1eb3cb1a9703b
parent5ede839a0cf3339568202750b4aae85ccc63fcb0
...
helm/software/matita/contribs/formal_topology/overlap/basic_topologies_to_o-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_to_o-basic_topologies.ma
helm/software/matita/contribs/formal_topology/overlap/o-basic_topologies.ma
helm/software/matita/contribs/formal_topology/overlap/o-saturations.ma
helm/software/matita/contribs/formal_topology/overlap/saturations_to_o-saturations.ma