]> matita.cs.unibo.it Git - helm.git/commit
update in ground
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 4 Oct 2021 16:03:25 +0000 (18:03 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 4 Oct 2021 16:03:25 +0000 (18:03 +0200)
commitf8b4eb67c2437f7b5174d7dca46e102e0ac0d19d
treef4744f3fb08983fcf4fb7a67547d6e63fe8120bb
parent8bbe582d87984526f40182c4409cbfd43108cb79
update in ground

+ some renaming
228 files changed:
matita/matita/contribs/lambdadelta/bin/recomm/bGroundRelocation.mrc
matita/matita/contribs/lambdadelta/bin/recomm/dGroundRelocation.mrc
matita/matita/contribs/lambdadelta/bin/recomm/recommGcbGroundRelocation.ml
matita/matita/contribs/lambdadelta/bin/recomm/recommGcdGroundRelocation.ml
matita/matita/contribs/lambdadelta/ground/relocation/gr_after.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_after.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_after_ist.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_basic.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_eq.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_isi.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_ist.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_ist_isi.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_isu.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_nat_uni_tls.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_pat.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_pat_tls.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_pat_uni_tls.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_uni.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_basic.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_coafter.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_coafter_ist.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_eq.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_isi.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_ist_isf.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_ist_isi.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_isu.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_nat_tls.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_nat_tls_pushs.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_pat_tls.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_uni_pushs.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_eq.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_fcla.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_fcla_eq.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_fcla_fcla.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_fcla_uni.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_id.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_id_eq.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_isd.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_isd_eq.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_isd_nexts.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_isd_tl.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_isd_tls.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_isf.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_isf_eq.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_isf_isu.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_isf_pushs.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_isf_tl.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_isf_tls.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_isf_uni.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_isi.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_isi_eq.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_isi_id.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_isi_pat.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_isi_pushs.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_isi_tl.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_isi_tls.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_isi_uni.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_ist.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_ist_isi.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_ist_ist.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_ist_tls.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_isu.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_isu_tl.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_isu_uni.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_map.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_nat.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_nat_basic.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_nat_nat.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_nat_uni.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_nexts.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_nexts_eq.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat_basic.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat_eq.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat_id.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat_lt.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat_pat.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat_pat_id.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat_tls.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat_uni.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_pushs.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_pushs_eq.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_sand.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_sand_eq.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_sdj.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_sdj_eq.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_sdj_isi.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_sle.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_sle_eq.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_sle_isd.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_sle_isi.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_sle_pushs.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_sle_sle.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_sle_tls.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_coafter_ist_isf.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_eq.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_fcla.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_isf.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_isi.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_sle.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_sor.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_sor_sle.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_tls.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_tl.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_tl_eq.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_tl_eq_eq.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_tls.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_tls_eq.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_tls_nexts_eq.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_tls_pushs.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_tls_pushs_eq.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_uni.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/gr_uni_eq.ma [deleted file]
matita/matita/contribs/lambdadelta/ground/relocation/pr_after.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_after_after.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_after_after_ist.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_after_basic.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_after_eq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_after_isi.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_after_ist.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_after_ist_isi.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_after_isu.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_after_nat_uni_tls.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_after_pat.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_after_pat_tls.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_after_pat_uni_tls.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_after_uni.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_basic.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_coafter.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_coafter_coafter.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_coafter_coafter_ist.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_coafter_eq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_coafter_isi.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_coafter_ist_isf.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_coafter_ist_isi.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_coafter_isu.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_coafter_nat_tls.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_coafter_nat_tls_pushs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_coafter_pat_tls.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_coafter_uni_pushs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_compose.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_eq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_fcla.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_fcla_eq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_fcla_fcla.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_fcla_uni.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_id.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_id_eq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_isd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_isd_eq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_isd_nexts.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_isd_tl.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_isd_tls.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_isf.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_isf_eq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_isf_isu.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_isf_pushs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_isf_tl.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_isf_tls.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_isf_uni.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_isi.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_isi_eq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_isi_id.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_isi_pat.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_isi_pushs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_isi_tl.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_isi_tls.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_isi_uni.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_ist.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_ist_isi.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_ist_ist.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_ist_tls.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_isu.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_isu_tl.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_isu_uni.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_map.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_nat.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_nat_basic.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_nat_nat.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_nat_uni.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_nexts.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_nexts_eq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_pat.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_pat_basic.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_pat_eq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_pat_id.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_pat_lt.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_pat_pat.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_pat_pat_id.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_pat_tls.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_pat_uni.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_pushs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_pushs_eq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_sand.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_sand_eq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_sdj.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_sdj_eq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_sdj_isi.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_sle.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_sle_eq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_sle_isd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_sle_isi.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_sle_pushs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_sle_sle.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_sle_tls.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_sor.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_sor_coafter_ist_isf.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_sor_eq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_sor_fcla.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_sor_isf.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_sor_isi.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_sor_sle.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_sor_sor.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_sor_sor_sle.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_sor_tls.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_tl.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_tl_eq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_tl_eq_eq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_tls.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_tls_eq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_tls_nexts_eq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_tls_pushs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_tls_pushs_eq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_uni.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/relocation/pr_uni_eq.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl