]> matita.cs.unibo.it Git - helm.git/commit
- added problem 2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 26 Aug 2006 11:05:17 +0000 (11:05 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 26 Aug 2006 11:05:17 +0000 (11:05 +0000)
commit7f2d9b01fa7f1c91b0628e1405481f28ad065f60
treee62a852b39f257a63e0f5324f57b9e9766828ac5
parent883affb9b633393615ce3cb674834664c5b9c881
- added problem 2
- changed baseuri
- some fixes
helm/software/matita/contribs/LAMBDA-TYPES/level-1/Base.ma
helm/software/matita/contribs/LAMBDA-TYPES/level-1/LambdaDelta.ma
helm/software/matita/contribs/LAMBDA-TYPES/level-1/problems.ma