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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 6 Oct 2013 11:47:25 +0000 (11:47 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 6 Oct 2013 11:47:25 +0000 (11:47 +0000)
commit	c28e3d93b588796bfbbfd6b2ec9dd86f405b2b00
tree	f99515f779805a21d65730dab7c770644fc4ae49	tree \| snapshot
parent	f5cd5870668ed096f6d93b005e2acd3bd555f3b0	commit \| diff

- big-tree reduction is now based on extended reduction
- some renaming

38 files changed:

matita/matita/contribs/lambdadelta/basic_2/computation/cpre.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxe.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_aaa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_lpx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_tstc_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/csx_aaa.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/csx_alt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/csx_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/csx_lpx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/csx_tstc_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/csx_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/fpbg.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/fpbg_fpbg.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/fpbg_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_fpbs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/ygt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/ygt_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/ygt_ygt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_da_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lsstas.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lsstas_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/names.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/fpb.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/fpb_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/reduction/fpbc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/reduction/fpbc_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/reduction/ysc.ma	[deleted file]	blob \| history
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