matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpbq

]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpbq_fpb.ma

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Thu, 13 Jun 2019 15:07:51 +0000 (17:07 +0200)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Sat, 15 Jun 2019 10:38:55 +0000 (12:38 +0200)
commit	f308429a0fde273605a2330efc63268b4ac36c99
tree	bdbada9750075f31675b3eed98e7d43a7e006c43	tree \| snapshot
parent	87f57ddc367303c33e19c83cd8989cd561f3185b	commit \| diff

some restyling ...

+ fixing some notations
+ fixing some spaces

300 files changed:

matita/matita/contribs/lambdadelta/apps_2/examples/ex_cnv_eta.ma		diff \| blob \| history
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_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/deq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/deq_cpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/li.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/model_props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/tm.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/veq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/veq_lifts.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/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_tdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_tdeq_conf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_tdeq_trans.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_trans.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_tdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_fsb.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/lsubv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubv_cnv.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.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_dynamic/ntas_etc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_dynamic/ntas_nta.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/prediteval_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpme.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_rdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpre_cpre.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpre_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_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpue.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpue_csx.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_cnx.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_fdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_lpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_rdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_tdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_theq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_theq_vector.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_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_cnx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_cnx_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_cpxs.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_fdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_fpbq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_fqus.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/csx_lpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_lsubr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_rdeq.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/csx_simple_theq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_vector.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/fpbg_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbg_fpbs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbg_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbg_lpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_cpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_fpb.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_fqus.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.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb_aaa.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_fdeq.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/lprs.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_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_computation/lpxs.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/lpxs_fdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_lpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_rdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lsubsx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lsubsx_lsubsx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lsubsx_rdsx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rdsx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rdsx_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rdsx_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rdsx_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rdsx_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rdsx_lpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rdsx_rdsx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_conversion/cpc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_conversion/cpc_cpc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_conversion/lpce.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_aaa.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_aaa.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_tdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cnu_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cnu_tdeq.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/cnx_cnx.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/cnx_simple.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/cpg_simple.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_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/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/cpx_fdeq.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/cpx_lsubr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_rdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_req.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_simple.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/fpb_fdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb_rdeq.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/fpbq_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpbq_fpb.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_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/rt_transition/lpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_fquq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_rdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_lpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_rdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_rpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/basic_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/cocompose_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/droppreds_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/uparrowstar_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/upspoonstar_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/mr2_plus.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_istot.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc.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_max.ma		diff \| blob \| history
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/replace.sh		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/etc/sh_lt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/i_static/rexs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/i_static/rexs_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/i_static/rexs_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/i_static/rexs_length.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/dxabbr_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/functions/dxabst_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/functions/dxbind1_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/functions/dxbind2_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/functions/upspoon_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/suptermplus_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/suptermplus_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/suptermstar_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/suptermstar_7.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/lex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts.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.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/fqup_weight.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_computation/fqus_fqup.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.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_transition/fqu_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_transition/fqu_tdeq.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.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.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/aaa_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/aaa_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/aaa_fdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/aaa_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/aaa_rdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/fdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/fdeq_fdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/fdeq_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/fdeq_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/fdeq_req.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.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/lsuba.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/lsuba_aaa.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.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/lsubc_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_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/lsubr_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rdeq.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_fqus.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.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/req_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/req_fsle.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/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_length.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/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/item_sd.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/item_sh.ma	[deleted file]	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/lveq_lveq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/sd.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/sh.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/sh_lt.ma	[new file with mode: 0644]	blob

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

RSS Atom