matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 2a5e0b7) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 1 Dec 2012 17:07:33 +0000 (17:07 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 1 Dec 2012 17:07:33 +0000 (17:07 +0000)
commit	5e24c923ea53c31c3e167c4ff7851877ded646c1
tree	5c5e15e87fc6fcced02591e6b618bf1c54a53fde	tree \| snapshot
parent	2a5e0b799cd6aae5d920c67a5ddc9d9888cf7e80	commit \| diff

- 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		diff \| blob \| history
matita/matita/contribs/lambda/labelled_sequential_computation.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda/labelled_sequential_reduction.ma		diff \| blob \| history
matita/matita/contribs/lambda/lift.ma		diff \| blob \| history
matita/matita/contribs/lambda/parallel_reduction.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda/policy.txt	[new file with mode: 0644]	blob
matita/matita/contribs/lambda/preamble.ma		diff \| blob \| history
matita/matita/contribs/lambda/redex_pointer.ma		diff \| blob \| history
matita/matita/contribs/lambda/redex_pointer_sequence.ma	[new file with mode: 0644]	blob
matita/matita/lib/basics/lists/list.ma		diff \| blob \| history
matita/matita/lib/basics/relations.ma		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.