]> matita.cs.unibo.it Git - helm.git/commit
added regtest for optional inductive type on mutcase
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 13 Feb 2004 13:32:12 +0000 (13:32 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 13 Feb 2004 13:32:12 +0000 (13:32 +0000)
commit1d43744bf87522c418a8bb5d7787dcdbdd6f25a5
tree5a83bd26e535a9ce4c0a8c5c68cb43d44e0d0a8e
parent0d10d8aa0ab17e69cd1f97221cd632313c0ba188
added regtest for optional inductive type on mutcase
helm/gTopLevel/tests/match07.cic [new file with mode: 0644]
helm/gTopLevel/tests/match07.cic.test [new file with mode: 0644]