]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda/paths/standard_order.ma
- paths and left residuals: second case of the equivalence proved!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 18 Jan 2013 23:27:46 +0000 (23:27 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 18 Jan 2013 23:27:46 +0000 (23:27 +0000)
commit4853e6e91abc124f9e6db1006cd731dbcf5708b9
tree011426e20becd982abe0c5c98d85b9c9c5bd6e73
parent2a11039cffb66439322ef7d3cf5eb6f241c33d16
- paths and left residuals: second case of the equivalence proved!
- some additions to lstar and Allr
matita/matita/contribs/lambda/background/preamble.ma
matita/matita/contribs/lambda/background/xoa.ma
matita/matita/contribs/lambda/background/xoa_notation.ma
matita/matita/contribs/lambda/paths/labeled_st_computation.ma
matita/matita/contribs/lambda/paths/standard_order.ma
matita/matita/contribs/lambda/paths/standard_precedence.ma
matita/matita/contribs/lambda/paths/standard_trace.ma
matita/matita/contribs/lambda/xoa.conf.xml
matita/matita/lib/basics/lists/list.ma
matita/matita/lib/basics/lists/lstar.ma