]> matita.cs.unibo.it Git - helm.git/commit
- weight: bugfix + weight-based eliminator axiomatized
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 28 Apr 2011 15:23:38 +0000 (15:23 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 28 Apr 2011 15:23:38 +0000 (15:23 +0000)
commit05959b8deaafaf3aa4ae59296da9c0fbf36c0feb
tree51983d72119f6eb8dfce63289b09bbb4e73045f1
parent1df995bc8675c8b1118889cf470fc4d1d2ab5a22
- weight: bugfix + weight-based eliminator axiomatized
- notation: bugfix
- lift: first main property axiomatized
matita/matita/lib/lambda-delta/language/weight.ma
matita/matita/lib/lambda-delta/notation.ma
matita/matita/lib/lambda-delta/substitution/lift.ma