]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 443591a) | patch
Interesting theorem added (but still to be proved).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 9 Jul 2007 14:34:57 +0000 (14:34 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 9 Jul 2007 14:34:57 +0000 (14:34 +0000)
commitf62c96d71bd1c36607b956dc5a97b67e692ef004
tree24c09ccea685f6721bd0331a053289046c24d3b3tree | snapshot
parent443591a0a17e6a493bdd59b1103960063c0e560bcommit | diff
Interesting theorem added (but still to be proved).
matita/library/assembly/assembly.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.