]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda/preamble.ma
- lambda: parallel reduction to obtain diamond property
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 1 Dec 2012 17:07:33 +0000 (17:07 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 1 Dec 2012 17:07:33 +0000 (17:07 +0000)
commit5e24c923ea53c31c3e167c4ff7851877ded646c1
tree5c5e15e87fc6fcced02591e6b618bf1c54a53fde
parent2a5e0b799cd6aae5d920c67a5ddc9d9888cf7e80
- lambda: parallel reduction to obtain diamond property
- list:   local "norm" notation removed in favour of "card" core notation
matita/matita/contribs/lambda/delifting_substitution.ma
matita/matita/contribs/lambda/labelled_sequential_computation.ma [new file with mode: 0644]
matita/matita/contribs/lambda/labelled_sequential_reduction.ma
matita/matita/contribs/lambda/lift.ma
matita/matita/contribs/lambda/parallel_reduction.ma [new file with mode: 0644]
matita/matita/contribs/lambda/policy.txt [new file with mode: 0644]
matita/matita/contribs/lambda/preamble.ma
matita/matita/contribs/lambda/redex_pointer.ma
matita/matita/contribs/lambda/redex_pointer_sequence.ma [new file with mode: 0644]
matita/matita/lib/basics/lists/list.ma
matita/matita/lib/basics/relations.ma