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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 9 May 2013 20:53:51 +0000 (20:53 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 9 May 2013 20:53:51 +0000 (20:53 +0000)
commit	e02bd4f3df78b5cc374d49d0ddf48b311188f514
tree	3ec9862b81262cddbc649e34845d4e84eb225e98	tree \| snapshot
parent	d4a90dfb8d8a56012928a600ea2f6bd4758b51f6	commit \| diff

partial commit: finaly we issue the "computation" component ...

67 files changed:

matita/matita/contribs/lambdadelta/basic_2/computation/acp.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/acp_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/acp_cr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cprs_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cprs_cprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cprs_delift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cprs_lfpr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cprs_lfprs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cprs_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cprs_lpss.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/cprs_ltpr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cprs_ltpss_dx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cprs_ltpss_sn.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cprs_tpss.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cprs_tstc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cprs_tstc_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_cpr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_cpr_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_lfpr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_lpr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/csn_tstc_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/dxprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/dxprs_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/dxprs_dxprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/dxprs_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/dxprs_lpss.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/dxprs_ltpss_dx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/dxprs_ltpss_sn.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fprs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fprs_aaa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fprs_cprs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fprs_fprs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lfprs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lfprs_aaa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lfprs_cprs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lfprs_fprs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lfprs_lfprs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lfprs_ltprs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lprs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/lprs_aaa.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/lprs_alt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/lprs_cprs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/lprs_ldrop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/lprs_lprs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/lprs_lpss.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/ltprs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/ltprs_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/ltprs_ldrop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/ltprs_ltprs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/tprs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/tprs_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/tprs_tprs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/cprs_ltpss_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/cprs_ltpss_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/dxprs_ltpss_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/dxprs_ltpss_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/grammar/term_simple.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpr_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpr_lpss.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fsups.ma		diff \| 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