]> 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)
commitccadec25a4bc5131b59f35209f22796572aed4c2
tree4ade190b4b28eb1aaf6bd1521448e06206613d4c
parente485fe6131cd39401a093d0c10aac7e25aa0532d
- added problem 2
- changed baseuri
- some fixes
matita/contribs/LAMBDA-TYPES/level-1/Base.ma
matita/contribs/LAMBDA-TYPES/level-1/LambdaDelta.ma
matita/contribs/LAMBDA-TYPES/level-1/problems.ma