]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5027bc6) | patch
Some important proofs/definitions were (and are still) commented out and
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 4 Jul 2010 11:24:14 +0000 (11:24 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 4 Jul 2010 11:24:14 +0000 (11:24 +0000)
commit82b1a205fdf9bc2c8029296ebe94c5667798845b
tree287d1e97838dd5fbd5c6d3dbbef72dc1446e91fdtree | snapshot
parent5027bc68bf4f3dc777d35476a2fb8a41b6bc1e29commit | diff
Some important proofs/definitions were (and are still) commented out and
do not compile.

Added the notion of functor1 to state the main theorem.
helm/software/matita/contribs/formal_topology/overlap/basic_pairs.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/basic_pairs_to_basic_topologies.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/basic_topologies.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/relations.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.