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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 29 Sep 2019 18:54:08 +0000 (20:54 +0200)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 29 Sep 2019 18:54:08 +0000 (20:54 +0200)
commit	67fe9cec87e129a2a41c75d7ed8456a6f3314421
tree	6d839b1452e20ae7a09a810f6c251bfcfdb63a0e	tree \| snapshot
parent	86861e6f031df66824a381527dfe847029ff72bc	commit \| diff

update in static_2

+ notation change for lifts and drops

97 files changed:

matita/matita/contribs/lambdadelta/apps_2/examples/ex_cpr_omega.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/examples/ex_fpbg_refl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/functional/flifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/functional/flifts_flifts_basic.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/functional/mf_cpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/veq_lifts.ma		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_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubv_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_ind.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_nta_ind.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cnuw_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms.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/cpms_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs_cprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs_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_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_toeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_toeq_vector.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_csx_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_lpx.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_cpms.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rsx_csx.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_conversion/cpce.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_conversion/cpce_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cnr_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cnx_drops.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/cpg_drops.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/cpm_drops.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/cpr_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr_drops_basic.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_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_drops_basic.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_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/i_static/rexs_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/rdropstar_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/rdropstar_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/rlift_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/rliftstar_3.ma		diff \| 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_seq.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_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/drops_weight.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_lifts_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_simple.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_tdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_tweq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_weight_bind.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/sex_sex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_computation/fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_computation/fqup_drops.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_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_transition/fqu.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/aaa_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/frees_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/fsle_drops.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/lsuba_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/lsubc_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/lsubr_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rdeq_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rdeq_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/req_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rex_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rex_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/web/static_2_src.tbl		diff \| blob \| history

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

RSS Atom