]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2af0a3e) | patch
- 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
tree8252f17965d7fe867492a668b6c96603638d5a22tree | snapshot
parent2af0a3e67ae1a9134102f6a6caf02680a4851312commit | diff
- some bug fixes
- we defined the thinning relation
matita/matita/lib/lambda-delta/language/item.ma [new file with mode: 0644] blob
matita/matita/lib/lambda-delta/language/item2.ma [deleted file] blob | history
matita/matita/lib/lambda-delta/language/term.ma diff | blob | history
matita/matita/lib/lambda-delta/notation.ma diff | blob | history
matita/matita/lib/lambda-delta/substitution/subst.ma diff | blob | history
matita/matita/lib/lambda-delta/substitution/thin.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.