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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 4 Oct 2021 16:03:25 +0000 (18:03 +0200)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 4 Oct 2021 16:03:25 +0000 (18:03 +0200)
commit	f8b4eb67c2437f7b5174d7dca46e102e0ac0d19d
tree	f4744f3fb08983fcf4fb7a67547d6e63fe8120bb	tree \| snapshot
parent	8bbe582d87984526f40182c4409cbfd43108cb79	commit \| diff

update in ground

+ some renaming

228 files changed:

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

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

RSS Atom