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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 5 Oct 2021 22:51:38 +0000 (00:51 +0200)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 5 Oct 2021 22:51:38 +0000 (00:51 +0200)
commit	98e786e1a6bd7b621e37ba7cd4098d4a0a6f8278
tree	45d480c8911b784140ff67ce701a21cdcda701e3	tree \| snapshot
parent	5d9f7ae4bad2b5926f615141c12942b9a8eb23fb	commit \| diff

partial commit in static_2

propagating the new ground library to static_2 begins

84 files changed:

matita/matita/contribs/lambdadelta/static_2/i_static/rexs_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/i_static/rexs_lex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/functions/uparrow_1_0.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/uparrowstar_2_0.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/upspoon_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/drops.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_lex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/drops_sex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/drops_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lex_tc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_basic.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_bind.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_lifts_bind.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_teqw.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/seq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/sex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/sex_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/sex_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/fqup_weight.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_teqg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_transition/fqu_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_transition/fquq_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_transition/fquq_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/aaa_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/feqg_fqu.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/frees.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/frees_frees.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/fsle_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/fsle_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/fsle_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/gcp_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/gcp_cr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/lsubf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/lsubf_frees.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/lsubf_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/req.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/reqg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/reqg_reqg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rex_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rex_fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rex_lex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rex_rex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/ac.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/acle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/acle_acle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/append.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/append_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/cl_restricted_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/cl_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/fold.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/genv_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/item.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/lenv_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/lenv_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/lveq_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/lveq_lveq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/sd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/sd_d.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/sd_lt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/sh.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/sh_lt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/sh_nexts.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/sh_props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/teq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/teq_ext.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/teqg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/teqw.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/term_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/term_weight.ma		diff \| blob \| history

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

RSS Atom