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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 19 May 2022 10:11:11 +0000 (12:11 +0200)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 19 May 2022 10:11:11 +0000 (12:11 +0200)
commit	77479649510792efe4d9cbff508e118360862594
tree	472549f45687ee0556e8cbae3623b4cf8b3888d8	tree \| snapshot
parent	9b4e20442ec5a4028cfe2b6fe836c94acdb033b8	commit \| diff

update in ground

+ new notation for application of a relocation

65 files changed:

matita/matita/contribs/lambdadelta/apps_2/functional/flifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/notation/functions/at_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/reduction/dfr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/reduction/dfr_ifr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/reduction/ifr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift_constructors.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/unwind/nap.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/unwind/unwind_gen.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/unwind/unwind_gen_after.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/unwind/unwind_gen_structure.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/unwind1/unwind.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/unwind1/unwind_constructors.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/unwind1/unwind_depth.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/unwind1/unwind_structure.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/unwind1/unwind_update.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/apply_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/atsharp_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/rat_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/ratsharp_3.ma	[new file with mode: 0644]	blob
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_ist.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_coafter_coafter_ist.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_pat_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pr_isi_pat.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_nat.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/tr_compose.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/tr_compose_etc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/tr_compose_pap.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/tr_compose_pn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/tr_compose_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/tr_id_pap.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/tr_pap.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/tr_pap_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/tr_pap_pap.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/tr_pap_pat.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/tr_pap_pn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/tr_pap_pushs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/tr_pap_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/tr_pat.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/tr_uni_compose.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/tr_uni_pap.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/drops.ma		diff \| blob \| history
matita/matita/predefined_virtuals.ml		diff \| blob \| history

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

RSS Atom