]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 6 Feb 2009 17:56:27 +0000 (17:56 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 6 Feb 2009 17:56:27 +0000 (17:56 +0000)
commitddc0a7b3f0acd57f879e540e696f69ca0c20bbf5
tree9aada6edd34f662a7defca0724203f7bdf28bb3e
parent4735518bc617c052344feefa75690b613041a025
...
helm/software/matita/contribs/formal_topology/overlap/apply_functor.ma
helm/software/matita/contribs/formal_topology/overlap/basic_pairs_to_o-basic_pairs.ma
helm/software/matita/contribs/formal_topology/overlap/r-o-basic_pairs.ma
helm/software/matita/contribs/formal_topology/overlap/relations_to_o-algebra.ma