]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e98c43) | patch
Do we really want to generate eliminators for nested data types? :-)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 12 May 2009 22:16:00 +0000 (22:16 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 12 May 2009 22:16:00 +0000 (22:16 +0000)
commit45cf52fb31fdefdb17377aa14902d2a1ff1b11d2
treeba3e35b1b2ee12d8f2b108464b02379c7be2897ftree | snapshot
parent4e98c439731c6e110430a6c5217274215bf403b6commit | diff
Do we really want to generate eliminators for nested data types? :-)
helm/software/matita/tests/ng_elim.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.