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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 29 May 2021 17:46:15 +0000 (19:46 +0200)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 29 May 2021 17:46:15 +0000 (19:46 +0200)
commit	2ed8d2abcc3b0687141b627061b63350a0b200bd
tree	43f3c1b09ae7371e2e11ec263e9d2dc5792b5ccb	tree \| snapshot
parent	b367de0252e88d6b0476648d5ceac7e4aeffca27	commit \| diff

update in ground

+ comments restyled

123 files changed:

matita/matita/contribs/lambdadelta/bin/recomm/bGroundArith.mrc		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/pGroundArith.mrc		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/rGroundArith.mrc		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommGcbGroundArith.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommGcpGroundArith.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommGcrGroundArith.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/nat_plus_rplus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/stream_tls_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/fr2_append.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/fr2_minus.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/fr2_plus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_after.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_after.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_after_ist.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_basic.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_isi.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_ist.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_ist_isi.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_isu.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_nat_uni_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_pat.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_pat_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_pat_uni_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_uni.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_basic.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_coafter.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_coafter_ist.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_isi.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_ist_isf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_ist_isi.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_isu.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_nat_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_nat_tls_pushs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_pat_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_uni_pushs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_fcla.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_fcla_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_fcla_fcla.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_fcla_uni.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_id.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_id_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_isd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_isd_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_isd_nexts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_isd_tl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_isd_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_isf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_isf_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_isf_isu.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_isf_pushs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_isf_tl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_isf_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_isf_uni.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_isi.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_isi_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_isi_id.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_isi_pat.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_isi_pushs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_isi_tl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_isi_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_isi_uni.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_ist.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_ist_isi.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_ist_ist.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_ist_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_isu.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_isu_tl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_isu_uni.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_map.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_nat.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_nat_basic.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_nat_uni.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_nexts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_nexts_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat_basic.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat_id.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat_lt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat_pat.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat_pat_id.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat_uni.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_pushs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_pushs_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_sand.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_sand_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_sdj.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_sdj_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_sdj_isi.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_sle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_sle_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_sle_isd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_sle_isi.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_sle_pushs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_sle_sle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_sle_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_coafter_ist_isf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_fcla.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_isf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_isi.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_sle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_sor.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_sor_sle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_tl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_tl_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_tl_eq_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_tls_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_tls_nexts_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_tls_pushs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_tls_pushs_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_uni.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/gr_uni_eq.ma		diff \| blob \| history

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

RSS Atom