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

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

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Fri, 10 Jan 2020 11:44:18 +0000 (12:44 +0100)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Fri, 10 Jan 2020 11:44:18 +0000 (12:44 +0100)
commit	25c634037771dff0138e5e8e3d4378183ff49b86
tree	deaf6b09a5e09835b907b9f4675a17fa63349d59	tree \| snapshot
parent	bd53c4e895203eb049e75434f638f26b5a161a2b	commit \| diff

update in ground_2, static_2, basic_2

+ refactoring rt-transition counters (rtc)
+ bug fixed in the notation for lifts and drops

86 files changed:

helm/www/lambdadelta/Makefile		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/examples/ex_fpbg_refl.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/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/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_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_teqo.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_teqo_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/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_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/cpt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpt_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpt_fqu.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_fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_isrt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_isrt_max.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_isrt_max_shift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_isrt_plus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_isrt_shift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_ist.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_ist_max.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_ist_plus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_max.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_max_shift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_plus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_shift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/web/ground_2.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/rdrop_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/rdropstar_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/rlift_3.ma	[new file with mode: 0644]	blob
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/lifts.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_teqx.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/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_cr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/reqx_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rex_drops.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