]> matita.cs.unibo.it Git - helm.git/commit
Cool: only 8 universes in use.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Jan 2009 16:41:01 +0000 (16:41 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Jan 2009 16:41:01 +0000 (16:41 +0000)
commit33fbecf99c187fb4fc84a68ee9f479da046e9df9
treeaa583b3599c27b1913140dec1af1b956c5ed8db8
parent2857d1c432f073379552e1572235a86509b665a4
Cool: only 8 universes in use.
helm/software/matita/contribs/formal_topology/overlap/categories.ma
helm/software/matita/contribs/formal_topology/overlap/cprop_connectives.ma
helm/software/matita/contribs/formal_topology/overlap/o-algebra.ma