]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f797f67) | 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)
commit05cee581a90a6e2ad1b353bb755c0ab13f36aebc
tree466d85a52cf90cfd584546d1053e459ffb0e8635tree | snapshot
parentf797f67a51e6c9919d77429cf0b9d7a747554eb0commit | diff
Interesting theorem added (but still to be proved).
helm/software/matita/library/assembly/assembly.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.