]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9315a10) | patch
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)
commitd32606924ee81fe309d016df7704f2612ebdc05e
treeba1727a667c5f93308af846fa4d4f649e88bf5bftree | snapshot
parent9315a100ca6a9db651623094c24bcb29078cb088commit | diff
New test for mutual recursive definitions.
matita/tests/letrecand.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.