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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 27 Jul 2013 16:10:57 +0000 (16:10 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 27 Jul 2013 16:10:57 +0000 (16:10 +0000)
commit	ebc33b6d5b68400bc8411973ed4c9ed50d0c52a6
tree	929a6ccc2f7392e5ec10b6396dd6c7ee92c8e7c4	tree \| snapshot
parent	65008df95049eb835941ffea1aa682c9253c4c2b	commit \| diff

- probe: critical bug fixed (all objects were deleted due to wrong test)
- lambdadelta: lenv refinement for atomic arity assignment updated,
some renaming and notational change
reaxiomatization of beta-reduction complete! (milestone)

37 files changed:

matita/components/binaries/probe/matitaList.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpds_cpds.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cprs_cprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_tstc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_lpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsubc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsubc_lsuba.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv_cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv_lsuba.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/cpcs_cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpcs/cpcs_cpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/lsubr.etc		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/notation.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/crsubeq_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/crsubeqa_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/crsubeqt_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/crsubeqv_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lrsubeq_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lrsubeq_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lrsubeqa_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lrsubeqv_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/reduction/cpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpr_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lsubx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lsubx_lsubx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsuba.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsuba_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsuba_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsuba_lsuba.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lsubr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/lsubr_lsubr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history

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

RSS Atom