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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 27 Feb 2020 21:45:50 +0000 (22:45 +0100)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 27 Feb 2020 21:45:50 +0000 (22:45 +0100)
commit	68b4f2490c12139c03760b39895619e63b0f38c9
tree	b2271d459454f8ad13fc8699ba178ecb249481f5	tree \| snapshot
parent	1fd63df4c77f5c24024769432ea8492748b4ac79	commit \| diff

ground_2 released and permanently renamed as ground

+ web site update
+ minor corrections

618 files changed:

.gitignore		diff \| blob \| history
helm/www/lambdadelta/download/lambdadelta_2A.tar.bz2		diff \| blob \| history
helm/www/lambdadelta/download/lambdadelta_2B.tar.bz2		diff \| blob \| history
helm/www/lambdadelta/download/lambdadelta_ground.tar.bz2		diff \| blob \| history
helm/www/lambdadelta/web/home/sitemap.tbl		diff \| blob \| history
helm/www/lambdadelta/web/home/specification.ldw.xml		diff \| blob \| history
helm/www/lambdadelta/web/home/versions.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/Makefile		diff \| blob \| history
matita/matita/contribs/lambdadelta/alpha_1/syntax/item.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/functional/flifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/functional/flifts_basic.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/functional/mf_vlift_exteq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/functional/mf_vpush_exteq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/model.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/model_vpush.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/tm_vpush.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/veq_lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_conf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_teqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_teqx_conf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_trans.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_preserve.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_dynamic/ntas_preserve.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms_cpms.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs_cprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs_ctc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/jsx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_equivalence/cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/computation/cprs_cprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/computation/lcosx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/computation/lsubc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/computation/scpds.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/dynamic/lsubsv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/grammar/aarity.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/grammar/item.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/grammar/lenv_append.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/grammar/lenv_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/grammar/lreq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/grammar/lreq_lreq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/grammar/term_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/grammar/tsts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/drops_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/frees.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/frees_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/lifts_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/lifts_lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/llor.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/llpx_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/llpx_sn_alt_rec.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/llpx_sn_drop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/llpx_sn_lpx_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/llpx_sn_lreq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/reduction/cir.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/reduction/cpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/reduction/cpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/static/lsuba.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/static/lsubd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/static/lsubr_lsubr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/static/sh.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/substitution/drop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/substitution/drop_append.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/substitution/drop_lreq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/substitution/lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/substitution/lpx_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/substitution/lpx_sn_tc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/unfold/lstas.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/web/basic_2A.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/xhtbl/textLexer.mll		diff \| blob \| history
matita/matita/contribs/lambdadelta/compile_partial.sh		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground/etc/lib/arith.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/lib/list.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/lib/list2_append.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/lib/logic.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/lib/oplus_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/lib/relations.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/lib/star.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/relocation/complement_1.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/relocation/norm_1.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/relocation/rtmap_le.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/relocation/trace.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/relocation/trace_after.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/relocation/trace_at.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/relocation/trace_isid.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/relocation/trace_isun.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/relocation/trace_sle.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/relocation/trace_snot.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/relocation/trace_sor.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/ynat/rplusminus_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/ynat/ynat_max.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/ynat/ynat_min.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/ynat/ynat_minus.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/ynat/ynat_minus_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/ynat/ynat_plus.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/ynat/ynat_rpm.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/ynat_old/ynat.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/ynat_old/ynat_iszero.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/ynat_old/ynat_le.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/etc/ynat_old/ynat_pred.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/insert_eq/insert_eq_0.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/lib/arith.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/lib/arith_2a.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/lib/arith_2b.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/lib/bool.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/lib/exteq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/lib/functions.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/lib/list.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/lib/list_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/lib/list_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/lib/logic.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/lib/lstar_2a.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/lib/ltc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/lib/ltc_ctc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/lib/relations.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/lib/star.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/lib/stream.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/lib/stream_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/lib/stream_hdtl.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/lib/stream_tls.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/append_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/apply_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/basic_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/circledE_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/cocompose_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/diamond_0.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/downarrow_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/downspoon_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/downspoonstar_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/droppred_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/droppreds_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/identity_0.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/infinity_0.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/no_0.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/onezero_0.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/oplusright_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/semicolon_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/tuple_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/uniform_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/uparrow_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/uparrowstar_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/updownarrowstar_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/upspoon_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/upspoonstar_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/yes_0.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/zeroone_0.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/functions/zerozero_0.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/doteq_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/ideq_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/isdivergent_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/isfinite_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/isidentity_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/isredtype_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/istotal_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/istype_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/isuniform_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/parallel_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/rafter_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/rat_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/rcoafter_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/rcolength_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/ringeq_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/rintersection_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/rminus_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/relations/runion_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/and_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/and_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/and_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_1_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_1_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_1_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_2_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_2_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_3_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_3_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_3_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_3_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_3_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_4_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_4_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_4_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_4_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_4_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_5_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_5_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_5_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_5_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_5_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_5_6.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_5_7.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_6_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_6_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_6_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_6_6.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_6_7.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_6_8.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_6_9.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_7_10.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_7_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_7_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_7_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_7_6.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_7_7.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_8_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_8_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/ex_9_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/false_0.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/or_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/or_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/or_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/or_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/notation/xoa/true_0.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/pull/pull_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/pull/pull_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/mr2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/mr2_append.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/mr2_at.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/mr2_minus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/mr2_plus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/nstream.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/nstream_after.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/nstream_basic.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/nstream_coafter.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/nstream_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/nstream_id.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/nstream_isid.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/nstream_istot.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/nstream_sor.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/rtmap.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_after.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_at.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_basic.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_basic_after.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_coafter.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_fcla.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_id.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_isdiv.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_isfin.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_isid.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_istot.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_isuni.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_nexts.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_pushs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_sand.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_sdj.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_sle.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_sor.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_tl.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_tls.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/relocation/rtmap_uni.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/steps/rtc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/steps/rtc_isrt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/steps/rtc_isrt_max.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/steps/rtc_isrt_max_shift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/steps/rtc_isrt_plus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/steps/rtc_isrt_shift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/steps/rtc_ist.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/steps/rtc_ist_max.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/steps/rtc_ist_plus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/steps/rtc_ist_shift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/steps/rtc_max.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/steps/rtc_max_shift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/steps/rtc_plus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/steps/rtc_shift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa.conf.xml	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/and_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/and_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_1_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_1_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_1_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_2_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_2_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_3_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_3_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_3_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_3_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_3_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_4_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_4_1_props.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_4_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_4_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_4_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_4_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_5_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_5_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_5_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_5_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_5_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_5_6.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_5_7.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_6_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_6_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_6_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_6_6.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_6_7.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_6_8.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_6_9.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_7_10.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_7_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_7_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_7_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_7_6.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_7_7.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_8_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_8_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/ex_9_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/or_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/or_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/xoa/or_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/ynat/ynat.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/ynat/ynat_le.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/ynat/ynat_lt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/ynat/ynat_minus_sn.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/ynat/ynat_plus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/ynat/ynat_pred.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/ynat/ynat_succ.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/etc/lib/arith.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/lib/list.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/lib/list2_append.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/lib/logic.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/lib/oplus_4.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/lib/relations.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/lib/star.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/relocation/complement_1.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/relocation/norm_1.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/relocation/rtmap_le.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/relocation/trace.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/relocation/trace_after.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/relocation/trace_at.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/relocation/trace_isid.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/relocation/trace_isun.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/relocation/trace_sle.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/relocation/trace_snot.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/relocation/trace_sor.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/ynat/rplusminus_4.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/ynat/ynat_max.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/ynat/ynat_min.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/ynat/ynat_minus.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/ynat/ynat_minus_dx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/ynat/ynat_plus.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/ynat/ynat_rpm.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/ynat_old/ynat.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/ynat_old/ynat_iszero.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/ynat_old/ynat_le.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/ynat_old/ynat_pred.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/insert_eq/insert_eq_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/arith_2a.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/arith_2b.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/bool.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/exteq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/functions.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/list.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/list_eq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/list_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/logic.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/lstar_2a.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/ltc.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/ltc_ctc.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/relations.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/star.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/stream.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/stream_eq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/stream_hdtl.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/stream_tls.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/append_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/apply_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/basic_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/circledE_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/cocompose_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/diamond_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/downarrow_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/downspoon_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/downspoonstar_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/droppred_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/droppreds_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/identity_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/infinity_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/no_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/onezero_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/oplusright_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/semicolon_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/tuple_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/uniform_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/uparrow_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/uparrowstar_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/updownarrowstar_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/upspoon_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/upspoonstar_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/yes_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/zeroone_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/zerozero_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/doteq_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/ideq_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/isdivergent_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/isfinite_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/isidentity_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/isredtype_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/istotal_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/istype_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/isuniform_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/parallel_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/rafter_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/rat_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/rcoafter_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/rcolength_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/ringeq_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/rintersection_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/rminus_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/runion_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/and_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/and_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/and_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_1_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_1_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_1_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_2_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_2_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_3_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_3_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_3_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_3_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_3_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_4_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_4_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_4_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_4_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_4_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_5_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_5_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_5_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_5_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_5_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_5_6.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_5_7.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_6_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_6_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_6_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_6_6.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_6_7.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_6_8.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_6_9.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_7_10.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_7_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_7_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_7_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_7_6.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_7_7.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_8_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_8_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_9_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/false_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/or_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/or_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/or_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/or_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/true_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/pull/pull_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/pull/pull_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/mr2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/mr2_append.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/mr2_at.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/mr2_minus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/mr2_plus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_after.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_basic.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_coafter.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_eq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_id.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_isid.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_istot.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_sor.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_after.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_at.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_basic.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_basic_after.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_coafter.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_eq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_fcla.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_id.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_isdiv.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_isfin.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_isid.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_istot.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_isuni.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_nexts.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_pushs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sand.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sdj.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sle.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sor.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_tl.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_tls.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_uni.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_isrt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_isrt_max.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_isrt_max_shift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_isrt_plus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_isrt_shift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_ist.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_ist_max.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_ist_plus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_ist_shift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_max.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_max_shift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_plus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_shift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/web/ground_2.ldw.xml	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa.conf.xml	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/and_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/and_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_1_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_1_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_1_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_2_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_2_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_3_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_3_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_3_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_3_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_3_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_4_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_4_1_props.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_4_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_4_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_4_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_4_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_5_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_5_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_5_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_5_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_5_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_5_6.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_5_7.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_6_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_6_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_6_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_6_6.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_6_7.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_6_8.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_6_9.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_7_10.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_7_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_7_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_7_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_7_6.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_7_7.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_8_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_8_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_9_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/or_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/or_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/or_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_le.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_lt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_minus_sn.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_plus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_pred.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_succ.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/static_2/i_static/rexs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/drops_ctc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/drops_ltc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_basic.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/sex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/sex_sex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/sex_tc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_computation/fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_computation/fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_transition/fqu.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/frees.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/frees_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/lsuba.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/lsubc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/lsubf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/lsubr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/aarity.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/ac.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/append.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/ext2_tc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/item.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/lveq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/sh.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/teqo.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/teqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/term.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/term_simple.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/term_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/tweq.ma		diff \| blob \| history

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

RSS Atom