]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1df995b) | patch
- 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
tree51983d72119f6eb8dfce63289b09bbb4e73045f1tree | snapshot
parent1df995bc8675c8b1118889cf470fc4d1d2ab5a22commit | diff
- weight: bugfix + weight-based eliminator axiomatized
- notation: bugfix
- lift: first main property axiomatized
matita/matita/lib/lambda-delta/language/weight.ma diff | blob | history
matita/matita/lib/lambda-delta/notation.ma diff | blob | history
matita/matita/lib/lambda-delta/substitution/lift.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.