]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6f674b1) | patch
Proof using function induction terminated. It's really gorgeous.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 21 Nov 2005 19:16:51 +0000 (19:16 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 21 Nov 2005 19:16:51 +0000 (19:16 +0000)
commitfd7ae775b0f6c3bdd6343975ce2a859e8c3c5c94
tree175965b95d3e36373b79f1bb3f96e3ce20643dbetree | snapshot
parent6f674b1765ae081b1af8346691eb5434ad38a635commit | diff
Proof using function induction terminated. It's really gorgeous.
helm/matita/library/list/sort.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.