]> matita.cs.unibo.it Git - helm.git/commit
- paths and left residuals: first case of the equivalence proved!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 16 Jan 2013 19:05:56 +0000 (19:05 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 16 Jan 2013 19:05:56 +0000 (19:05 +0000)
commitecf5a379cf6b646426f296c9a33d4ee0e5b2d04a
tree4745d5cbedc1874b6d10d959bbdb61051059ad6c
parente47584d3cc500acd8ffb533810daabd3b2ff8300
- paths and left residuals: first case of the equivalence proved!
- some corrections and additions
- some "?" removed in customized eliminations
matita/matita/contribs/lambda/paths/labeled_st_computation.ma
matita/matita/contribs/lambda/paths/labeled_st_reduction.ma
matita/matita/contribs/lambda/paths/standard_order.ma
matita/matita/contribs/lambda/paths/standard_trace.ma
matita/matita/contribs/lambda/paths/trace.ma
matita/matita/contribs/lambda/subterms/booleanized.ma
matita/matita/lib/basics/lists/list.ma