]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda/background/xoa_notation.ma
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a11039) | patch
- 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
tree011426e20becd982abe0c5c98d85b9c9c5bd6e73tree | snapshot
parent2a11039cffb66439322ef7d3cf5eb6f241c33d16commit | diff
- paths and left residuals: second case of the equivalence proved!
- some additions to lstar and Allr
matita/matita/contribs/lambda/background/preamble.ma diff | blob | history
matita/matita/contribs/lambda/background/xoa.ma diff | blob | history
matita/matita/contribs/lambda/background/xoa_notation.ma diff | blob | history
matita/matita/contribs/lambda/paths/labeled_st_computation.ma diff | blob | history
matita/matita/contribs/lambda/paths/standard_order.ma diff | blob | history
matita/matita/contribs/lambda/paths/standard_precedence.ma diff | blob | history
matita/matita/contribs/lambda/paths/standard_trace.ma diff | blob | history
matita/matita/contribs/lambda/xoa.conf.xml diff | blob | history
matita/matita/lib/basics/lists/list.ma diff | blob | history
matita/matita/lib/basics/lists/lstar.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.