]> matita.cs.unibo.it Git - helm.git/commit
- Level-1: added some problems
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 26 Aug 2006 14:02:17 +0000 (14:02 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 26 Aug 2006 14:02:17 +0000 (14:02 +0000)
commit5ae3baad87b9a92d0bc73192dfe2b4c82bd0b0ae
tree805522d0723865c49228d4feacb9bbbb39a81f52
parentfdc204ed9d20c7ac4e25f19411b9d7ed3cd78b40
- Level-1: added some problems
- legacy: some now aliases
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/problems.ma
helm/software/matita/library/legacy/coq.ma