]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33fbecf) | patch
Some work on concrete spaces.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Jan 2009 17:28:59 +0000 (17:28 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Jan 2009 17:28:59 +0000 (17:28 +0000)
commit49045bfd9b3038ce30a1911e2345f949ed38ec8a
tree198ad5fa42268b81f6c62c50756be3bc8891b545tree | snapshot
parent33fbecf99c187fb4fc84a68ee9f479da046e9df9commit | diff
Some work on concrete spaces.
helm/software/matita/contribs/formal_topology/overlap/basic_pairs.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/concrete_spaces.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/formal_topologies.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/relations.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.