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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 28 May 2021 22:42:43 +0000 (00:42 +0200)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 28 May 2021 22:42:43 +0000 (00:42 +0200)
commit	55c768d7e45babb300b5010463ba3196a68f1bbe
tree	b76799a3ad212500c3379925ca32f9298d55d836	tree \| snapshot
parent	15212e44902f25536f6e2de4bec4cedcd9a9804d	commit \| diff

milestone update in ground

+ generic relocation maps are now streams of booleans
+ some renaming and restyling
+ operator precedence more uniform
+ recomm updated for relocation

292 files changed:

.gitignore		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/veq_lifts.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/cpx_drops_basic.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/Makefile		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/bGroundArith.mrc		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/bGroundLib.mrc		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/bGroundRelocation.mrc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/dGroundRelocation.mrc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/pGroundRelocation.mrc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/rGroundLib.mrc		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/rGroundRelocation.mrc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recomm.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommGcbGroundArith.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommGcbGroundLib.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommGcbGroundRelocation.ml	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcbGroundRelocation.mli	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcdGroundRelocation.ml	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcdGroundRelocation.mli	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcpGroundRelocation.ml	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcpGroundRelocation.mli	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcrGroundLib.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommGcrGroundRelocation.ml	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcrGroundRelocation.mli	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcsMain.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommGcsWith.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommLexer.mll		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommOutput.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/recommParser.mly		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/sMain.mrc		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/recomm/sWith.mrc		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/arith_2a.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/nat_iter.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/nat_minus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/nat_plus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/nat_rplus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/pnat_plus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_lminus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/arith/ynat_plus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/counters/rtc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/counters/rtc_ism.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/counters/rtc_ist.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/counters/rtc_max.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/counters/rtc_max_shift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/counters/rtc_plus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/counters/rtc_shift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/etc/relocation/pstream.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/relocation/pstream_after.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/relocation/pstream_basic.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/relocation/pstream_coafter.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/relocation/pstream_eq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/relocation/pstream_isid.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/relocation/pstream_istot.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/relocation/pstream_sor.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/relocation/pstream_tl.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/relocation/pstream_tls.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/lib/exteq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/functions.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/list.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/list_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/list_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/logic.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/ltc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/ltc_ctc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/relations.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/star.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/stream.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/stream_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/stream_eq_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/lib/stream_hdtl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/stream_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/lib/stream_tls_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/basic_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/circledE_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/diamond_0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/downarrow_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/downspoon_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/downspoonstar_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/droppred_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/droppreds_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/element_b_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/element_i_0.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/element_u_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/exp_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/identity_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/infinity_0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/no_0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/one_0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/onezero_0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/semicolon_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/tuple_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/two_0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/uniform_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/uparrow_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/uparrowstar_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/updownarrowstar_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/upspoon_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/upspoonstar_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/yes_0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/zero_0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/zeroone_0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/functions/zerozero_0.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/isdivergent_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/isfinite_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/isidentity_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/ism_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/ist_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/ist_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/isuniform_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/predicate_f_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/predicate_i_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/predicate_m_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/predicate_omega_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/predicate_t_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/predicate_t_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/predicate_u_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/rcolength_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/notation/relations/rfun_c_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/fr2_append.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/fr2_map.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/fr2_minus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/fr2_nat.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/fr2_nat_nat.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/fr2_plus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_after.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_after.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_after_ist.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_basic.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_isi.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_ist.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_ist_isi.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_isu.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_nat_uni.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_pat.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_pat_tls.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_pat_uni.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_uni.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_basic.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_coafter.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_coafter_ist.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_isi.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_ist_isf.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_ist_isi.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_isu.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_nat_tls.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_nat_tls_pushs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_pat_tls.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_coafter_uni_pushs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_fcla.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_fcla_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_fcla_fcla.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_fcla_uni.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_id.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_id_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_isd.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_isd_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_isd_nexts.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_isd_tl.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_isd_tls.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_isf.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_isf_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_isf_isu.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_isf_pushs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_isf_tl.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_isf_tls.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_isf_uni.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_isi.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_isi_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_isi_id.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_isi_pat.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_isi_pushs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_isi_tl.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_isi_tls.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_isi_uni.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_ist.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_ist_isi.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_ist_ist.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_ist_tls.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_isu.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_isu_tl.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_isu_uni.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_map.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_nat.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_nat_basic.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_nat_nat.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_nat_uni.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_nexts.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_nexts_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat_basic.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat_id.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat_lt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat_pat.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat_pat_id.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat_tls.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_pat_uni.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_pushs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_pushs_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_sand.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_sand_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_sdj.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_sdj_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_sdj_isi.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_sle.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_sle_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_sle_isd.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_sle_isi.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_sle_pushs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_sle_sle.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_sle_tls.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_coafter_ist_isf.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_fcla.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_isf.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_isi.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_sle.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_sor.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_sor_sle.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_sor_tls.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_tl.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_tl_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_tl_eq_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_tls.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_tls_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_tls_nexts_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_tls_pushs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_tls_pushs_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_uni.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_uni_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/mr2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/mr2_append.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/mr2_at.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/mr2_minus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/mr2_plus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pstream.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pstream_after.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pstream_basic.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pstream_coafter.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pstream_eq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pstream_id.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pstream_isid.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pstream_istot.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pstream_sor.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pstream_tl.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/pstream_tls.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_after.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_after_nat_uni.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_after_uni.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_at.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_at_uni.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_basic.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_basic_after.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_basic_at.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_basic_nat.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_coafter.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_coafter_uni.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_eq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_fcla.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_id.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_isdiv.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_isfin.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_isid.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_istot.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_isuni.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_nat.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_nat_uni.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_nexts.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_pushs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_sand.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_sdj.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_sle.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_sor.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_tl.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_tls.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_uni.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml		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/contribs/lambdadelta/static_2/relocation/drops_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lex_tc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_lifts_bind.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/gcp_cr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rex_lex.ma		diff \| blob \| history

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

RSS Atom