]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a8a9365) | patch
WARNING: partial commit to try to understand something.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 28 Dec 2008 12:42:21 +0000 (12:42 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 28 Dec 2008 12:42:21 +0000 (12:42 +0000)
commit3d7b244a79a1c57d3355deb2f9a70764cde077b9
tree622eb4145d26e5bcec41a73fced6a4311d871fe8tree | snapshot
parenta8a93651c567a67149200636374df96c87508aa8commit | diff
WARNING: partial commit to try to understand something.
I have fixed the universes in categories, adding a new category (of level 2)
and trying to prove that powersets form a SET1.

Failing, so far.
helm/software/matita/contribs/formal_topology/overlap/categories.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-algebra.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/o-formal_topologies.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/subsets.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.