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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 25 Apr 2014 12:12:05 +0000 (12:12 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 25 Apr 2014 12:12:05 +0000 (12:12 +0000)
commit	7a25b8fcba2436a75556db1725c6e1be78a9faca
tree	63035e0c5534e4db499414818ea926ff0718c660	tree \| snapshot
parent	6aab24b40d5d09561375959043ecd85c8b428d85	commit \| diff

- advances in the theory of cofrees
- some notational changes
- some refactoring in etc

91 files changed:

matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_lleq.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		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbc_fpbs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbg_fleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbg_fpbg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbg_lift.ma		diff \| 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_fleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbu.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbu_fleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbu_lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fsb_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fsb_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fsb_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsx_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsx_lpx.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/etc/cpx_cpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpy/cpx_cpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpy/cpx_cpys2.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpy/cpxs_cpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpy/cpy.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpy/cpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpy/lpx_cpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpy/lsuby.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lleq_alt/lazyeqalt_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lleq_alt/lleq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lleq_alt/lleq_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lleq_alt/lleq_ext.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lleq_alt/lleq_fqus.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lleq_alt/lleq_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lleq_alt/lleq_lleq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/llor.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/llpx_sn_alt2.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/llor.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsuby/cpx_cpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsuby/cpxs_cpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsuby/lazyeqalt_4.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsuby/lleq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsuby/lleq_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsuby/lleq_ext.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsuby/lleq_fqus.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsuby/lleq_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsuby/lleq_lleq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsuby/lpx_cpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/cofreestar_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/cofreestar_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazybtpredproper_8.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazybtpredstarproper_8.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazyeq_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazyeq_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpr_llpx_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_llpx_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/fpb.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx_lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn_ldrop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn_leq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn_lpx_sn.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn_tc.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ssta_llpx_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/cofrees.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/cpys_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fleq_fleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_leq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_alt1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_ldrop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_leq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_lpx_sn.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_tc.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