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>
	Tue, 14 Jan 2020 18:08:54 +0000 (19:08 +0100)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Tue, 14 Jan 2020 18:08:54 +0000 (19:08 +0100)
commit	ca7327c20c6031829fade8bb84a3a1bb66113f54
tree	44ecc6f23ae990455b36e64c978ce43afd1a4c5b	tree \| snapshot
parent	25c634037771dff0138e5e8e3d4378183ff49b86	commit \| diff

update in basic_2 and apps_2

+ bug fixed in the notation of cpm and derivatives

109 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/mf_cpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/deq_cpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpes.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_cpm_teqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_teqx_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_cpmre.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpms_conf.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_cpms_teqx_conf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_preserve.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_preserve_cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_preserve_sub.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_preserve.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_preserve_cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_dynamic/ntas.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_dynamic/ntas_preserve.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/pred_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/pred_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predeval_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predeval_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/prednormal_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/prednormal_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsn_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsn_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsnstar_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsnstar_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predstar_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predstar_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cnuw.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cnuw_cnuw.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpmre.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpmre_aaa.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_aaa.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_cpxs.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/cpms_fpbg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms_fpbs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms_lsubr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms_reqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpmuwe.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpmuwe_cpmuwe.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprre.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprre_cpms.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprre_cprre.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprre_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs_cnr.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/cprs_ext.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs_tweq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpts_cpms.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/lprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lprs_aaa.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/lprs_cprs.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/lprs_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lprs_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lprs_lprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lprs_lpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lprs_tc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_conversion/cpc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_equivalence/cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_equivalence/cpcs_cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_equivalence/cpcs_cprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_equivalence/cpcs_lprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_equivalence/cpes.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_equivalence/cpes_cpms.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cnr.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/cnr_simple.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cnr_teqx.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_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm_cpx.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/cpm_fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm_lsubr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm_simple.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm_teqx.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/cpr_ext.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr_teqx.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_cpm.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb.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.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpr_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpr_fquq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpr_length.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/lpr_lpx.ma		diff \| blob \| history
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