]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd91617) | patch
Some more painful work.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 28 Dec 2008 17:47:25 +0000 (17:47 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 28 Dec 2008 17:47:25 +0000 (17:47 +0000)
commit7048db496643fc440aebc6e85dd425886bcd2e56
tree3cce55537ae415b4a6f7c71c80033afb4c77756dtree | snapshot
parentbd9161789ad35aae35b66e1f9bba660d8fde3c61commit | diff
Some more painful work.
helm/software/matita/contribs/formal_topology/overlap/o-algebra.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.