]> matita.cs.unibo.it Git - helm.git/commit
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)
commit05cee581a90a6e2ad1b353bb755c0ab13f36aebc
tree466d85a52cf90cfd584546d1053e459ffb0e8635
parentf797f67a51e6c9919d77429cf0b9d7a747554eb0
Interesting theorem added (but still to be proved).
helm/software/matita/library/assembly/assembly.ma