]> matita.cs.unibo.it Git - helm.git/commit
- some bug fixes
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 19 Apr 2011 20:59:15 +0000 (20:59 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 19 Apr 2011 20:59:15 +0000 (20:59 +0000)
commit7b976a01aa6cedbfbef57ace183ce3fc0e2f22a9
tree8252f17965d7fe867492a668b6c96603638d5a22
parent2af0a3e67ae1a9134102f6a6caf02680a4851312
- some bug fixes
- we defined the thinning relation
matita/matita/lib/lambda-delta/language/item.ma [new file with mode: 0644]
matita/matita/lib/lambda-delta/language/item2.ma [deleted file]
matita/matita/lib/lambda-delta/language/term.ma
matita/matita/lib/lambda-delta/notation.ma
matita/matita/lib/lambda-delta/substitution/subst.ma
matita/matita/lib/lambda-delta/substitution/thin.ma [new file with mode: 0644]