]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dba85ad) | patch
Fixing universe levels for saturations and (partially) basic_topologies.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Jan 2009 15:06:31 +0000 (15:06 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Jan 2009 15:06:31 +0000 (15:06 +0000)
commit5be81fce195f2b45ec57c5422d35e4c03827891d
treebe0deb21e57cb89eaf87c8ee8dd52405084e4256tree | snapshot
parentdba85ad7c7510e7bfd01e5721c63dad528b3e0bfcommit | diff
Fixing universe levels for saturations and (partially) basic_topologies.
helm/software/matita/contribs/formal_topology/overlap/basic_topologies.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/depends diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/o-saturations.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/saturations.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.