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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 29 Oct 2015 22:46:45 +0000 (22:46 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 29 Oct 2015 22:46:45 +0000 (22:46 +0000)
commit	a8cd6cc85182245df447a21caf16b6503fa4b3e5
tree	5410ed5c9df3f043d8ae1ea776cae15defe5ef35	tree \| snapshot
parent	46815bb7af06b235ead2fd67a4aee2d294b51928	commit \| diff

- matita: computed auto traces now include the "width" parameter
more characters for use with lambdadelta
- ground_2: advances in relocation by trace

12 files changed:

matita/matita/contribs/lambdadelta/ground_2/notation/functions/complement_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/relations/isid_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/isidentity_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/relations/isuniform_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/relocation/trace_at.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/trace_isid.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/trace_isun.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/relocation/trace_sle.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/relocation/trace_snot.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl		diff \| blob \| history
matita/matita/matitaScript.ml		diff \| blob \| history
matita/matita/predefined_virtuals.ml		diff \| blob \| history

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