]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f050491) | patch
Added elimination principles for destructuring let-ins.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Dec 2011 22:41:13 +0000 (22:41 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Dec 2011 22:41:13 +0000 (22:41 +0000)
commit869417c848f0b4dac21ead718149ed36c2fa560f
treefecd77e1b417cda2044372e3cad86c934d12e101tree | snapshot
parentf050491f27aa5a3d0d151f7268a5ffbfbe7d69dfcommit | diff
Added elimination principles for destructuring let-ins.
matita/matita/lib/basics/types.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.