]> matita.cs.unibo.it Git - helm.git/commit
Some clean up.
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 22 Dec 2008 18:07:42 +0000 (18:07 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 22 Dec 2008 18:07:42 +0000 (18:07 +0000)
commitf1889c6a0850d2691190d34159d5eb9bb9c76f77
tree875a318bacc27bb65ab6d15a8060f160e3f33cbb
parent8b7ad9b29b3448b72e476ba077e2d0faad86c058
Some clean up.
helm/software/matita/contribs/formal_topology/overlap/o-algebra.ma
helm/software/matita/contribs/formal_topology/overlap/o-concrete_spaces.ma
helm/software/matita/library/datatypes/categories.ma