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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 6 Aug 2013 16:40:51 +0000 (16:40 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 6 Aug 2013 16:40:51 +0000 (16:40 +0000)
commit	82500a9ceb53e1af0263c22afbd5954fa3a83190
tree	559f1182088b0f0084522852ae3e5f15f3ef6a44	tree \| snapshot
parent	8ed01fd6a38bea715ceb449bb7b72a46bad87851	commit \| diff

partial commit: "computation" component ...

68 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/cpds.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpds_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpds_cpds.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpds_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpre.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpre_cpre.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/cprs_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxe.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_aaa.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_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_tstc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_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_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_lpx.ma		diff \| blob \| history
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/lprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lprs_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lprs_cprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lprs_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lprs_lprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_lpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsubc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsubc_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsubc_ldrops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsubc_lsuba.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/dpredstar_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/dpredstar_6.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/ineint_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/ineint_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lrsubeq_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lrsubeq_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/peval_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/peval_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/peval_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/peval_6.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsnstar_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsnstar_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsnstar_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsnstar_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsnstaralt_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsnstaralt_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsnstaralt_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsnstaralt_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predstar_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predstar_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predstar_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predstar_6.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/sn_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/sn_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/snalt_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/snalt_5.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