matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambdadelta/static_2/static/lsuba

]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambdadelta/static_2/static/lsuba_drops.ma

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Tue, 19 Nov 2019 19:45:15 +0000 (20:45 +0100)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Tue, 19 Nov 2019 19:45:15 +0000 (20:45 +0100)
commit	c7b50fec51b9a25d5bc536f44e54179fd53efb44
tree	097206838f4d5ecd33a65da8aafda6ee1766e920	tree \| snapshot
parent	adb9ba187619cea977d1d22971eba27eb437cd6a	commit \| diff

λδ-2B is released

+ some refactoring
+ extra spaces cleaned
+ web site update

124 files changed:

helm/www/lambdadelta/download/lambdadelta_2B.tar.bz2	[new file with mode: 0644]	blob
helm/www/lambdadelta/web/home/documentation_2.tbl		diff \| blob \| history
helm/www/lambdadelta/web/home/news.ldw.xml		diff \| blob \| history
helm/www/lambdadelta/web/home/versions.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/Makefile		diff \| blob \| history
matita/matita/contribs/lambdadelta/alpha_1/notation/constructors/snabstneg_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/alpha_1/notation/constructors/sngref_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/alpha_1/notation/constructors/snitem1_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/alpha_1/notation/constructors/snlref_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/alpha_1/notation/constructors/snproj_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/alpha_1/notation/constructors/snprojneg_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/alpha_1/notation/constructors/snprojpos_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/alpha_1/notation/constructors/snstar_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/alpha_1/notation/functions/snabstneg_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/alpha_1/notation/functions/sngref_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/alpha_1/notation/functions/snitem1_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/alpha_1/notation/functions/snlref_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/alpha_1/notation/functions/snproj_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/alpha_1/notation/functions/snprojneg_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/alpha_1/notation/functions/snprojpos_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/alpha_1/notation/functions/snstar_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/alpha_1/syntax/term.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/li.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/veq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/vpushs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/vpushs_fold.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/web/apps_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_conf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_teqx_trans.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpms_teqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_fsb.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_preserve.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_dynamic/ntas_cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms_cpms.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpts_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_reqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_teqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_simple.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_lpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb_feqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb_fpbg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/jsx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/jsx_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/jsx_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lprs_ctc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rsx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rsx_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cnx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb_reqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpbq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpr_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_reqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/relations.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/stream_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/uparrow_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/pull/pull_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_coafter.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_after.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_at.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_fcla.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_plus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_le.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_lt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_plus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/i_static/rexs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/drops_cext2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/drops_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/drops_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/drops_sex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_teqo.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_tweq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/sex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/sex_tc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_computation/fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_computation/fqus_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_transition/fqu_teqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_transition/fqu_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/aaa_feqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/frees.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/frees_append.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/frees_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/frees_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/fsle_fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/gcp_cr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/lsuba_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/lsubf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/lsubf_lsubr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/lsubr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/lsubr_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/req.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/reqx_reqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rex_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/append_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/ceq_ext.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/ceq_ext_ceq_ext.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/ext2_ext2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/genv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/lenv_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/lveq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/lveq_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/sh_lt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/teqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/tweq_teqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/web/static_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/web/core.tbl		diff \| blob \| history

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

RSS Atom