]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4c4b73b) | patch
- xoa: bug fix and improvement
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 27 Jul 2011 21:25:17 +0000 (21:25 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 27 Jul 2011 21:25:17 +0000 (21:25 +0000)
commitf9201115d73cc65ab2aadc1a7c94cd52564d3b2e
tree1fe8e4e56190fa9ad1a6319a94aef81ed2ecafaftree | snapshot
parent4c4b73b9ccf2e93901d0352599623c851781b74bcommit | diff
- xoa: bug fix and improvement
- *_defs: optimization
- confluence: case "flat-theta" closed
matita/matita/lib/lambda-delta/ground.ma diff | blob | history
matita/matita/lib/lambda-delta/reduction/lpr_defs.ma diff | blob | history
matita/matita/lib/lambda-delta/reduction/tpr_tpr.ma diff | blob | history
matita/matita/lib/lambda-delta/substitution/lift_defs.ma diff | blob | history
matita/matita/lib/lambda-delta/substitution/lift_fun.ma diff | blob | history
matita/matita/lib/lambda-delta/substitution/lift_main.ma diff | blob | history
matita/matita/lib/lambda-delta/syntax/item.ma diff | blob | history
matita/matita/lib/lambda-delta/xoa_defs.ma diff | blob | history
matita/matita/lib/lambda-delta/xoa_notation.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.