]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0411156) | patch
Basic pairs went through with no problems.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 3 Jan 2009 18:49:03 +0000 (18:49 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 3 Jan 2009 18:49:03 +0000 (18:49 +0000)
commitbb0fff7ebc68535a75e260082b7db26c1d99f643
treea783b2cfc596eb02092de96a6f3520fe92e4379ftree | snapshot
parent04111561e190485400ba91eb274b2acb1b25a817commit | diff
Basic pairs went through with no problems.
helm/software/matita/contribs/formal_topology/overlap/o-basic_pairs.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/o-basic_topologies.ma diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/o-formal_topologies.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.