matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda/paths/standard_precedence.ma

]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda/paths/standard_precedence.ma

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 249addc) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 15 Jan 2013 10:34:32 +0000 (10:34 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 15 Jan 2013 10:34:32 +0000 (10:34 +0000)
commit	2f42e0081e96a2d0a4097066af8349feebbd86fe
tree	9f092704cd20145237e8094cbb84cb0a35eb3da4	tree \| snapshot
parent	249addcfcf2681df796236b0f39a71260dddaa79	commit \| diff

- a few more lemmas ...
- some renaming

18 files changed:

matita/matita/contribs/lambda/paths/alternative_standard_order.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda/paths/labeled_st_reduction.ma		diff \| blob \| history
matita/matita/contribs/lambda/paths/standard_order.ma		diff \| blob \| history
matita/matita/contribs/lambda/paths/standard_precedence.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda/subterms/boolean.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda/subterms/booleanize.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda/subterms/carrier.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda/subterms/delifting_substitution.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/subterms/lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/subterms/projections.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/subterms/relocating_substitution.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda/subterms/relocation.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda/terms/delifting_substitution.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/terms/lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/terms/multiplicity.ma		diff \| blob \| history
matita/matita/contribs/lambda/terms/relocating_substitution.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda/terms/relocation.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda/terms/size.ma		diff \| blob \| history

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