]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda/xoa_notation.ma
- star.ma: strip lemma and confluence of star
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 18 Dec 2012 16:50:35 +0000 (16:50 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 18 Dec 2012 16:50:35 +0000 (16:50 +0000)
commit2d35cd1602d585ecb2c6623a1b2bd1e0c81aa93b
tree43c05fe2e733f5a6d8d7346dc82ad3a0eb59b865
parentb5f51e592232d16fb1286f059a597c8ab443b4c4
- star.ma: strip lemma and confluence of star
- lambda: confluence of labelled sequential reduction completed!
matita/matita/contribs/lambda/delifting_substitution.ma
matita/matita/contribs/lambda/labelled_sequential_computation.ma
matita/matita/contribs/lambda/parallel_computation.ma [new file with mode: 0644]
matita/matita/contribs/lambda/term.ma
matita/matita/contribs/lambda/xoa.conf.xml
matita/matita/contribs/lambda/xoa.ma
matita/matita/contribs/lambda/xoa_notation.ma
matita/matita/lib/basics/star.ma