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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 2 Apr 2014 12:51:32 +0000 (12:51 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 2 Apr 2014 12:51:32 +0000 (12:51 +0000)
commit	f21cc1fc7f776761926a7f017fda55735d63442e
tree	b71b8a9be1d18be117bc944d234addf153f85c73	tree \| snapshot
parent	82fc9726cbd3363dcd08695dbe0179653e6a18a7	commit \| diff

commit of the "computation" component with lazy pointwise extensions
one conjecture is still open :(

81 files changed:

matita/matita/contribs/lambdadelta/basic_2/computation/cpds_cpds.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/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/csx_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_fpbs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_llpx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/csx_llpxs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/csx_lpx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_lpxs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_tstc_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbc_fleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/fpbc_fpbs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbc_fpns.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbg_fleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/fpbg_fpbg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbg_fpns.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_ext.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_fleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_fpbs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_fpns.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbu.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbu_fleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/fpbu_fpns.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbu_lleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/fpns.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpns_fpns.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fsb.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fsb_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lcosx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lcosx_cpxs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/llprs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/llprs_cprs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/llprs_llprs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/llpxs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/llpxs_aaa.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/llpxs_cpxs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/llpxs_lleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/llpxs_llpxs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/llsx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/llsx_alt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/llsx_csx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/llsx_ldrop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/llsx_llpx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/llsx_llpxs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/lprs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lprs_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lprs_cprs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lprs_ldrop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lprs_lprs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_aaa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_cpxs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_ldrop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_lleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_lpxs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsx_csx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsx_ldrop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsx_lpxs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/fpbc_fpns.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/fpbg_fpns.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/fpbs_fpns.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lazycosn_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lcosx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lcosx_cpxs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lsx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lsx_csx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lsx_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lsx_lpxs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazycosn_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazysnalt_6.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/llpx.ma		diff \| blob \| history

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

RSS Atom