projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 22 Nov 2012 16:09:47 +0000 (16:09 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 22 Nov 2012 16:09:47 +0000 (16:09 +0000) | ||
| commit | e58a16408ecab0cdea0be912b9691ae03acdcc3b | |
| tree | 62a42995987bb2c78fc32be64ccaacfb133e6439 | tree | snapshot |
| parent | 5b6caf1bdfc7a41aea3a1437ad666fd87654a899 | commit | diff |
| matita/matita/contribs/lambda/root | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambda/term.ma | [new file with mode: 0644] | blob |