]> matita.cs.unibo.it Git - helm.git/commit
- inversion lemmas for tpr completed!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 25 Jul 2011 20:16:26 +0000 (20:16 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 25 Jul 2011 20:16:26 +0000 (20:16 +0000)
commitd1c48262d83ff5917fe5ad0d5cbbed8d686c046a
treef822d13dfe2ac4eec74bc45237749d027c469b99
parentdd88a8fa58d50833118cadd96ba8e3bcf70340a4
- inversion lemmas for tpr completed!
- bug fix in lpr interpretation
matita/matita/lib/lambda-delta/ground.ma
matita/matita/lib/lambda-delta/reduction/lpr_defs.ma
matita/matita/lib/lambda-delta/reduction/tpr_defs.ma
matita/matita/lib/lambda-delta/reduction/tpr_tpr.ma
matita/matita/lib/lambda-delta/xoa_defs.ma
matita/matita/lib/lambda-delta/xoa_notation.ma