]> matita.cs.unibo.it Git - helm.git/commit
New test for mutual recursive definitions.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 31 Jan 2007 18:29:53 +0000 (18:29 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 31 Jan 2007 18:29:53 +0000 (18:29 +0000)
commit69b4ac15705f7f5de44dd22b4295c5cd17a131f5
tree4a24aeca4a38c30fb432d458676a04b9d7c60d6c
parent20c8fca9b8a0f1ba7c92c65ea1bb3a2d79db5d7c
New test for mutual recursive definitions.
helm/software/matita/tests/letrecand.ma [new file with mode: 0644]