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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 9 Aug 2013 20:06:52 +0000 (20:06 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 9 Aug 2013 20:06:52 +0000 (20:06 +0000)
commit	784a534f6d969a261f45396307d0ef30f7fb2be2
tree	7ef67f1613ce1d38cbc8a8309ef0f046706a23a4	tree \| snapshot
parent	7ed62d94780c881c3ee056418b00ad5e9f739f15	commit \| diff

- test.ma on the disambiguation bug moved to ONAG (just out of the way)
- lambdadelta: updated interpretation descriptions fix the disambiguation bug

18 files changed:

matita/matita/contribs/ONAG/test.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/acp_cr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/cl_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/genv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/lenv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/test.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpr_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsuba.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ssta.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ssta_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/sstas.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/unfold.ma		diff \| blob \| history

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