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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 24 Jul 2011 12:23:53 +0000 (12:23 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 24 Jul 2011 12:23:53 +0000 (12:23 +0000)
commit	6f29b61aeae23efb412ac48ab747d63bcedcacd6
tree	e88c21eba70125f523fa4c6a6a423335a77d4262	tree \| snapshot
parent	d9c872a9203fb4f69d9962d68b8ee64881f8a949	commit \| diff

- sone refactoring
- notation fix
- telescopic substitution replaced by parallel substitution
- context-free parallel reduction added

15 files changed:

matita/matita/lib/lambda-delta/ground.ma		diff \| blob \| history
matita/matita/lib/lambda-delta/notation.ma		diff \| blob \| history
matita/matita/lib/lambda-delta/reduction/lpr_defs.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda-delta/reduction/pr_defs.ma	[deleted file]	blob \| history
matita/matita/lib/lambda-delta/reduction/pr_pr.ma		diff \| blob \| history
matita/matita/lib/lambda-delta/reduction/tpr_defs.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda-delta/substitution/drop_defs.ma		diff \| blob \| history
matita/matita/lib/lambda-delta/substitution/drop_main.ma		diff \| blob \| history
matita/matita/lib/lambda-delta/substitution/psubst_defs.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda-delta/substitution/subst_defs.ma	[deleted file]	blob \| history
matita/matita/lib/lambda-delta/substitution/thin_defs.ma	[deleted file]	blob \| history
matita/matita/lib/lambda-delta/substitution/thin_main.ma	[deleted file]	blob \| history
matita/matita/lib/lambda-delta/syntax/item.ma		diff \| blob \| history
matita/matita/lib/lambda-delta/xoa_defs.ma		diff \| blob \| history
matita/matita/lib/lambda-delta/xoa_notation.ma		diff \| blob \| history

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