]> matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/contribs/formal_topology/bin/comb.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb99a20) | patch
More details on the proof.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 12 Mar 2009 09:37:27 +0000 (09:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 12 Mar 2009 09:37:27 +0000 (09:37 +0000)
commit20d9c447551de9c81e1658b85fe3c1728cf92eeb
tree9136f89828d404752349b2ef806742fef3a61897tree | snapshot
parentcb99a2022db2d4731679912db78fba002c1acb5ccommit | diff
More details on the proof.
helm/software/matita/contribs/formal_topology/bin/comb.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.