]> matita.cs.unibo.it Git - helm.git/commit
More reorganization.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 3 Jan 2009 16:16:09 +0000 (16:16 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 3 Jan 2009 16:16:09 +0000 (16:16 +0000)
commit1c406089d385be2d444308a783bc051bd28be463
tree5e264e7a2ae5793e9cc4906b814b69dacc7c63b7
parentd93c87f76076e1ad4b6a87e45d0322eb72f7e492
More reorganization.
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-saturations.ma