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, 29 Oct 2021 18:24:59 +0000 (20:24 +0200)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Fri, 29 Oct 2021 18:24:59 +0000 (20:24 +0200)
commit	8ec019202bff90959cf1a7158b309e7f83fa222e
tree	9b96995e7acdd094ab752bc103f3a287b30c64fb	tree \| snapshot
parent	33d0a7a9029859be79b25b5a495e0f30dab11f37	commit \| diff

update in ground static_2 basic_2 apps_2

+ two sets of bold parentheses were used. now just one

463 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/examples/ex_rpx_fwd.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/apps_2/models/tm.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/notation/models/ringeq_5.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_acle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpcs.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_cpm_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_cpmuwe.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpmuwe_cpmre.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_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_eval.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.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_cpes.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/lsubv_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta.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_cpms.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_eval.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_fsb.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/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_cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_dynamic/ntas_nta.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/i_dynamic/ntas_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/colon_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/colonstar_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/exclaim_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/pconv_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/pconveta_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/pconveta_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/pconvstar_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/pconvstar_7.ma		diff \| 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_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predevalwstar_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/preditnormal_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/prednormal_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsn_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsnstar_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predstar_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsubty_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsubtyproper_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsubtystar_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsubtystarproper_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsubtystrong_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predty_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predty_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predtynormal_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predtysn_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predtysn_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predtysnstar_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predtystar_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predtystrong_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/pty_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/ptystar_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/cnuw_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cnuw_simple.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_reqg.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/cpmuwe_csx.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_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs_teqw.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpts_aaa.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/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_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_feqg.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_reqg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_teqg.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.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_feqg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_fpb.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_reqg.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_teqo.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_cpm.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_feqg.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_fqus.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_feqg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_fpbc.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_lpx.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_feqg.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/jsx_csx.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/jsx_rsx.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_feqg.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_reqg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rsx.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_lpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rsx_rsx.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_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_csx.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_equivalence/cpes_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_teqg.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/cnx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cnx_basic.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_fpb.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm_fpbc.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_teqg.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/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/cpx_feqg.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_reqg.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_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb_feqg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb_lpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpbc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpbc_feqg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpbc_fpb.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpbc_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpbc_lpx.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_fpb.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpr_fpbc.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_reqg.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_drops.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_reqg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_reqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_rpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/counters/rtc_ism.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/counters/rtc_ism_max.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/counters/rtc_ism_max_shift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/counters/rtc_ism_plus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/counters/rtc_ism_shift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/counters/rtc_ist.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/counters/rtc_ist_max.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/counters/rtc_ist_plus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/counters/rtc_ist_shift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/predicate_f_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/predicate_i_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/predicate_m_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/predicate_omega_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/predicate_t_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/predicate_t_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/predicate_u_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/rat_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/ratsucc_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/rfun_c_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/fr2_nat.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/fr2_nat_nat.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_after_after_ist.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_after_isi.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_after_ist.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_after_ist_isi.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_after_isu.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_after_nat.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_after_nat_uni_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_after_pat.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_after_pat_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_after_pat_uni_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_after_uni.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_coafter_coafter_ist.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_coafter_isi.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_coafter_ist_isf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_coafter_ist_isi.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_coafter_isu.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_coafter_nat_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_coafter_nat_tls_pushs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_coafter_pat_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_fcla.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_fcla_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_fcla_fcla.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_fcla_uni.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_isd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_isd_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_isd_nexts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_isd_tl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_isd_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_isf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_isf_isu.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_isf_pushs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_isf_tl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_isf_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_isf_uni.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_isi.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_isi_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_isi_id.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_isi_nat.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_isi_pat.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_isi_pushs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_isi_tl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_isi_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_isi_uni.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_ist.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_ist_isi.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_ist_ist.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_ist_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_isu.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_isu_tl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_isu_uni.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_nat.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_nat_basic.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_nat_nat.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_nat_uni.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_pat.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_pat_basic.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_pat_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_pat_id.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_pat_lt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_pat_pat.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_pat_pat_id.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_pat_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_pat_uni.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_sdj_isi.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_sle_isd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_sle_isi.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_sor_coafter_ist_isf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_sor_fcla.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_sor_isf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_sor_isi.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/tr_pat.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl		diff \| blob \| history
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/notation/relations/approxeqsn_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/atomicarity_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/freeplus_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/inwbrackets_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/lrsubeqf_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/simple_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/stareqsn_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/subseteq_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/supterm_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/supterm_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/suptermopt_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/suptermopt_7.ma		diff \| blob \| history
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_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/lifts_bind.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_simple.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_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.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_dec.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_feqg.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_reqg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/feqg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/feqg_feqg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/feqg_fqu.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/feqg_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/feqg_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/feqg_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/feqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/feqx_feqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/frees.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/frees_append.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/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/reqg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/reqg_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/reqg_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/reqg_reqg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/reqx.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_fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rex_rex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/teqo_simple.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/teqo_simple_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/teqw_simple.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/term_simple.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/term_vector.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