]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 279b11c) | patch
Great: some significant progress in fixing universe levels.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Jan 2009 01:10:01 +0000 (01:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Jan 2009 01:10:01 +0000 (01:10 +0000)
commitc78cbede35ed85575e274864e6b6b9c635c6956d
treeae31d034b360dae46fd0045ff5d4d985698c2e40tree | snapshot
parent279b11c00cdaacb4858e1c8dc6d05ea631bc1358commit | diff
Great: some significant progress in fixing universe levels.
helm/software/matita/contribs/formal_topology/overlap/categories.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/depends diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/o-algebra.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/relations.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/subsets.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.