]> matita.cs.unibo.it Git - helm.git/commit
a development about pure lambda calculus
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 22 Nov 2012 16:09:47 +0000 (16:09 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 22 Nov 2012 16:09:47 +0000 (16:09 +0000)
commite58a16408ecab0cdea0be912b9691ae03acdcc3b
tree62a42995987bb2c78fc32be64ccaacfb133e6439
parent5b6caf1bdfc7a41aea3a1437ad666fd87654a899
a development about pure lambda calculus
matita/matita/contribs/lambda/root [new file with mode: 0644]
matita/matita/contribs/lambda/term.ma [new file with mode: 0644]