]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 29 Jun 2010 14:03:40 +0000 (14:03 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 29 Jun 2010 14:03:40 +0000 (14:03 +0000)
commit1470ff47df1349333c6b721a1c162cc7dfc6806f
tree641bc82717a6e71bc3ab88872ff85a4c7d8dc00e
parent7c4bb1d1baed259e4301d4cf0ecca7a0e3885d92
...
helm/software/matita/contribs/formal_topology/overlap/o-algebra.ma
helm/software/matita/contribs/formal_topology/overlap/relations_to_o-algebra.ma
helm/software/matita/contribs/formal_topology/overlap/subsets.ma