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