]> matita.cs.unibo.it Git - helm.git/commit
New tests for lambdas (that show bugs in applications ;-)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Feb 2004 14:04:05 +0000 (14:04 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Feb 2004 14:04:05 +0000 (14:04 +0000)
commita3d7a85e807ab78dd7524c22b853fa5fbb2e2439
tree9d7774013b743f7aea7875af38c28f8f1255a69a
parent0a4e52bf1512e106abbe81387477c764adce966e
New tests for lambdas (that show bugs in applications ;-)
helm/gTopLevel/tests/lambda01.cic [new file with mode: 0644]
helm/gTopLevel/tests/lambda02.cic [new file with mode: 0644]