]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 55676f0) | patch
(co)inductive type declarations are now documented
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Jun 2006 11:27:13 +0000 (11:27 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Jun 2006 11:27:13 +0000 (11:27 +0000)
commit2fa59f0450a2f1fe871a09fd9841ddc1bfd67080
tree5b69ac4fa09065d1f9d52746978c6fbd7e0b0ec8tree | snapshot
parent55676f08ab60b802d00ed47e8089d8622bc3dadbcommit | diff
(co)inductive type declarations are now documented
matita/help/C/sec_terms.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.