]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 69e7d27) | patch
New proof based on an hand-made functional induction.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 21 Nov 2005 18:07:47 +0000 (18:07 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 21 Nov 2005 18:07:47 +0000 (18:07 +0000)
commit07a47acd993af4aec870e996045f26ab0a47ae36
tree905c72f1651966045dd16358a214bac648db949ctree | snapshot
parent69e7d276ed3d68ae78d5e8091cc19c714c69572ccommit | diff
New proof based on an hand-made functional induction.
helm/matita/library/list/sort.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.