]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a0faf51) | patch
Final theorem proved. Many many conjectures left. I am unsure of one of them.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 13 Jul 2007 08:35:47 +0000 (08:35 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 13 Jul 2007 08:35:47 +0000 (08:35 +0000)
commit65d92234b55cf3cf1b7132c785cefb989d0f1822
tree7592b5864ea215188f42f520d38bd2023d755dcdtree | snapshot
parenta0faf519269f60418b6202156dfd31e426a285dfcommit | diff
Final theorem proved. Many many conjectures left. I am unsure of one of them.
matita/library/assembly/assembly.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.