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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 22 Jan 2017 19:56:34 +0000 (19:56 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 22 Jan 2017 19:56:34 +0000 (19:56 +0000)
commit	09b4420070d6a71990e16211e499b51dbb0742cb
tree	c17116b52df09c1baf8437ccd899cddc99559988	tree \| snapshot
parent	bba53a83579540bc3925d47d679e2aad22e85755	commit \| diff

- degree-based equivalene for terms
- improved matitadep allows to find more top files in the reference graph
- refactoring and bug fix

880 files changed:

matita/components/binaries/matitadep/matitadep.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/Makefile		diff \| blob \| history
matita/matita/contribs/lambdadelta/alpha_1/grammar/item.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/alpha_1/grammar/term.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/alpha_1/grammar/term_append.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/alpha_1/syntax/item.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/alpha_1/syntax/term.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/alpha_1/syntax/term_append.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/functional/rtm.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/append/cir_append.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/append/cix_append.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/append/cl_shift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/append/cpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/append/cpx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/append/cpy2.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/append/cpys0.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/append/cpys2.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/append/crr_append.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/append/crx_append.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/append/lpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/append/lpx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/append/lpx_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/append/lpys0.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cny/cny.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cny/cny_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cny/cpx_cpzs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cny/cpye.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cny/cpye_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cny/cpye_cpye.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cny/cpye_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cny/cpys_cny.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cny/cpzs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cny/lleq_cpye.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cny/lpx_cpye.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cny/lpxs_cpye.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cny/pdeltaconvstar_6.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cny/psubsteval_6.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cny/psubstevalalt_6.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cny/psubstnormal_5.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cofrees/cofrees.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cofrees/cofrees_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cofrees/cofrees_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cofrees/cofreestar_4.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpcs/cpcs_cpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpes.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/aaa_ltpss_dx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/aaa_ltpss_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/cnf_cif.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/cpcs_ltpss_dx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/cpcs_ltpss_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/cpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/cpr_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/cpr_cpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/cpr_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/cpr_ltpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/cpr_ltpss_dx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/cpr_ltpss_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/cpr_tpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/cprs_ltpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/cprs_ltpss_dx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/cprs_ltpss_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/cprs_tpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/dxprs_ltpss_dx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/dxprs_ltpss_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ldrop_lbotr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ldrop_lpx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/lenv_px.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/lenv_top.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/lfpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/lfpr_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/lfpr_cpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/lfpr_lfpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/lfprs_ltprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/lsubr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/lsubr_lbotr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltpr_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltpr_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltpr_ltpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltpr_ltpss_dx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltpr_ltpss_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltpr_tps.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltpr_tpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltprs_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltprs_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltprs_ltprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltpss_dx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltpss_dx_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltpss_dx_ltpss_dx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltpss_dx_tps.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltpss_dx_tpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltpss_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltpss_sn_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltpss_sn_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltpss_sn_ltpss_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltpss_sn_tps.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltpss_sn_tpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/snv_ltpss_dx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/snv_ltpss_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ssta_ltpss_dx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ssta_ltpss_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/sstas_ltpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/sstas_ltpss_dx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/sstas_ltpss_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/sta_ltpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/tpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/tpr_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/tpr_tpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/tprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/tprs_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/tprs_tprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/tps.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/tps_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/tps_tps.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/tpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/tpss_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/tpss_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/tpss_tpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys0/cpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys0/cpys_cpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys0/cpys_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys0/lpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys0/lpys_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys0/lpys_lpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys0/lrsubeq_2.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys0/lsuby.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys0/lsuby_lsuby.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys0/psubstsnstar_3.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys0/psubststar_4.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys2/cpx_cpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys2/cpx_cpys2.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys2/cpxs_cpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys2/lpx_cpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpys2/lsuby.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/csup/csup.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/csup/csup_csup.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/csup/csups_csups.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/delift/cpcs_delift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/delift/cpr_delift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/delift/cprs_delift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/delift/delift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/delift/delift_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/delift/delift_delift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/delift/delift_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/delift/delift_ltpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/delift/delift_tpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/delift/thin.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/delift/thin_delift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/delift/thin_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/delift/tpr_delift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/etc/cpr_conj.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/etc/ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fleq/fpbc_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fleq/fpbs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpa/fpa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpa/fpa_fpa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpa/fpas.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpa/fpas_fpas.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpa/fpas_vector.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpa/gcp.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpa/gcp_cr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpa/rajust_5.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpa/rajuststar_5.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpbc/fpbc.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpbc/fpbc_fleq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpbc/fpbg.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpbc/fpbg_fleq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpbc/fpbg_fpbg.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpbc/fpbg_fpbs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpbc/fpbg_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpbc/fpbs_fpbc.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpbc/lazybtpredproper_8.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpn/bteq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpn/bteq_6.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpn/bteq_bteq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpn/btpredsn_8.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpn/fpb.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpn/fpbc.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpn/fpbs_conj.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpn/fpn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpn/fpn_fpn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpn/fpns.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpn/fpns_fpns.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpn/fqu.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpn/fsb.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpn/fsb_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpn/lazyeq_6.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/cfpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/cfpr_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/cfpr_cfpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/cfpr_cpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/cfpr_ltpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/fpc.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/fpc_fpc.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/fpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/fpcs_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/fpcs_cpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/fpcs_fpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/fpcs_fprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/fpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/fpr_cpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/fpr_fpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/fprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/fprs_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/fprs_cprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/fprs_fprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/lenv_px_bi.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/lfpr_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/lfpr_fpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/lfprs_fprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/frsup/frsup.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/frsup/frsupp.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/frsup/frsupp_frsupp.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/frsup/frsups.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/frsup/frsups_frsups.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/frsup/ssta_frsups.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fsup/fsup.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fsup/fsups.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fsup/ldrop_fsup.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fsup/ldrop_fsups.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/gcp/gcp_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/gcp/gcp_cr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/hod/ntas.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/hod/ntas_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lcoeq/coeq_4.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lcoeq/lcoeq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lcoeq/lcoeq_lcoeq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lcoeq/ldrop_lcoeq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lcpcs/lcpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lcpcs/lcpcs_ltpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lleq_alt/lazyeqalt_4.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lleq_alt/lleq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lleq_alt/lleq_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lleq_alt/lleq_ext.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lleq_alt/lleq_fqus.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lleq_alt/lleq_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lleq_alt/lleq_lleq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llneq/lazynegatedeq_4.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llneq/lazynegatedeqalt_4.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llneq/llneq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llneq/llneq_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llneq/llneq_ext.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llneq/lpxs_llneq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpr/cpcs_cpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpr/cprs_cprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpr/cprs_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpr/lazypredsn_5.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpr/lazypredsnstar_5.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpr/llpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpr/llpr_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpr/llpr_llpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpr/llprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpr/llprs_cprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpr/llprs_llprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpr/llpx_sn_llpx_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx/cpxs_llpx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx/csx_llpx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx/csx_llpxs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx/fpbs_lpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx/lazypredsn_7.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx/lazypredsnstar_7.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx/lazysn_6.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx/lazysnalt_6.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx/llpx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx/llpx_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx/llpx_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx/llpx_lleq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx/llpx_lpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx/llpxs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx/llpxs_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx/llpxs_cpxs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx/llpxs_lleq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx/llpxs_llpxs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx/llpxs_lprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx/llsx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx/llsx_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx/llsx_csx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx/llsx_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx/llsx_llpx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx/llsx_llpxs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx_sn/llpx_sn_tc.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx_sn/lpx_conj.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpc/lfpc.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpc/lfpc_lfpc.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpc/lfpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpc/lfpcs_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpc/lfpcs_fpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpc/lfpcs_lfpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpc/lfpcs_lfprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/cpr_llpx_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/cpx_llpx_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lleq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/llpx_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/llpx_sn_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/llpx_sn_alt_rec.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/llpx_sn_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/llpx_sn_lpx_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/llpx_sn_tc.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpx_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpx_sn_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpx_sn_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpx_sn_lpx_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpx_sn_tc.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/ssta_llpx_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubn/lsubn_lsubn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/aaa_lpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/cpcs_lpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/cpqs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/cpqs_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/cprs_lpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/cpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/cpss_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/dxprs_lpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/lpqs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/lpqs_cpqs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/lpqs_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/lpqs_lpqs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/lpr_lpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/lprs_lpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/lpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/lpss_cpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/lpss_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/lpss_lpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/lsubr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/lsubr_etc.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/lsubr_lsubr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/snv_lpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/ssta_lpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/sstas_lpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/nta/lsubn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/nta/lsubn_cpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/nta/lsubn_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/nta/lsubn_nta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/nta/nta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/nta/nta_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/nta/nta_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/nta/nta_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/nta/nta_ltpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/nta/nta_ltpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/nta/nta_nta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/nta/nta_sta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/nta/nta_thin.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/snta/lsubsn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/snta/lsubsn_cpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/snta/lsubsn_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/snta/lsubsn_snta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/snta/snta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/snta/snta_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/snta/snta_ltpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/snta/snta_ltpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/snta/snta_snta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/snta/snta_thin.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/snv/snv_cpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/snv/snv_da_lpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/snv/snv_lpx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/snv/snv_lstas_lpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/snv_preserve.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/sta/da_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/sta/da_sta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/sta/lstas.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/sta/lstas_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/sta/lstas_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/sta/lstas_da.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/sta/lstas_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/sta/lstas_lstas.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/sta/sta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/sta/sta_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/sta/sta_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/sta/sta_llpx_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/sta/sta_sta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/sta/statictype_5.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/sta/statictypestaralt_6.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/tshf/chnf.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/tshf/cpr_tshf.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/tshf/tshf.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/xpr/xpr_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/xpr/xpr_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/xpr/xpr_lsubss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/xpr/xprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/xpr/xprs_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/xpr/xprs_cprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/xpr/xprs_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/xpr/xprs_lsubss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/xpr/xprs_xprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/cir_append.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/cix_append.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/cl_shift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/cpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/cpx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/cpy2.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/cpys0.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/cpys2.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/crr_append.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/crx_append.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/lpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/lpx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/lpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/lpys0.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/cny.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/cny_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/cpx_cpzs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/cpye.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/cpye_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/cpye_cpye.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/cpye_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/cpys_cny.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/cpzs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/lleq_cpye.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/lpx_cpye.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/lpxs_cpye.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/pdeltaconvstar_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/psubsteval_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/psubstevalalt_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/psubstnormal_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cofrees/cofrees.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cofrees/cofrees_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cofrees/cofrees_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cofrees/cofreestar_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpcs/cpcs_cpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpes.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/aaa_ltpss_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/aaa_ltpss_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cnf_cif.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cpcs_ltpss_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cpcs_ltpss_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cpr_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cpr_cpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cpr_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cpr_ltpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cpr_ltpss_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cpr_ltpss_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cpr_tpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cprs_ltpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cprs_ltpss_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cprs_ltpss_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cprs_tpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/dxprs_ltpss_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/dxprs_ltpss_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ldrop_lbotr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ldrop_lpx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/lenv_px.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/lenv_top.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/lfpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/lfpr_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/lfpr_cpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/lfpr_lfpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/lfprs_ltprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/lsubr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/lsubr_lbotr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpr_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpr_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpr_ltpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpr_ltpss_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpr_ltpss_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpr_tps.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpr_tpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltprs_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltprs_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltprs_ltprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpss_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpss_dx_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpss_dx_ltpss_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpss_dx_tps.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpss_dx_tpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpss_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpss_sn_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpss_sn_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpss_sn_ltpss_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpss_sn_tps.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpss_sn_tpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/snv_ltpss_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/snv_ltpss_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ssta_ltpss_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ssta_ltpss_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/sstas_ltpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/sstas_ltpss_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/sstas_ltpss_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/sta_ltpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tpr_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tpr_tpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tprs_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tprs_tprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tps.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tps_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tps_tps.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tpss_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tpss_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tpss_tpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys0/cpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys0/cpys_cpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys0/cpys_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys0/lpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys0/lpys_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys0/lpys_lpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys0/lrsubeq_2.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys0/lsuby.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys0/lsuby_lsuby.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys0/psubstsnstar_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys0/psubststar_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys2/cpx_cpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys2/cpx_cpys2.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys2/cpxs_cpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys2/lpx_cpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys2/lsuby.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/csup/csup.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/csup/csup_csup.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/csup/csups_csups.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/cpcs_delift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/cpr_delift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/cprs_delift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/delift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/delift_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/delift_delift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/delift_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/delift_ltpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/delift_tpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/thin.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/thin_delift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/thin_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/tpr_delift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/etc/cpr_conj.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/etc/ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fleq/fpbc_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fleq/fpbs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpa/fpa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpa/fpa_fpa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpa/fpas.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpa/fpas_fpas.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpa/fpas_vector.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpa/gcp.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpa/gcp_cr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpa/rajust_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpa/rajuststar_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpbc/fpbc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpbc/fpbc_fleq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpbc/fpbg.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpbc/fpbg_fleq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpbc/fpbg_fpbg.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpbc/fpbg_fpbs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpbc/fpbg_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpbc/fpbs_fpbc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpbc/lazybtpredproper_8.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/bteq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/bteq_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/bteq_bteq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/btpredsn_8.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/fpb.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/fpbc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/fpbs_conj.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/fpn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/fpn_fpn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/fpns.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/fpns_fpns.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/fqu.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/fsb.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/fsb_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/lazyeq_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/cfpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/cfpr_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/cfpr_cfpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/cfpr_cpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/cfpr_ltpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fpc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fpc_fpc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fpcs_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fpcs_cpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fpcs_fpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fpcs_fprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fpr_cpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fpr_fpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fprs_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fprs_cprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fprs_fprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/lenv_px_bi.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/lfpr_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/lfpr_fpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/lfprs_fprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/frsup/frsup.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/frsup/frsupp.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/frsup/frsupp_frsupp.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/frsup/frsups.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/frsup/frsups_frsups.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/frsup/ssta_frsups.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fsup/fsup.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fsup/fsups.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fsup/ldrop_fsup.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fsup/ldrop_fsups.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/gcp/gcp_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/gcp/gcp_cr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/hod/ntas.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/hod/ntas_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lcoeq/coeq_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lcoeq/lcoeq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lcoeq/lcoeq_lcoeq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lcoeq/ldrop_lcoeq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lcpcs/lcpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lcpcs/lcpcs_ltpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lleq_alt/lazyeqalt_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lleq_alt/lleq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lleq_alt/lleq_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lleq_alt/lleq_ext.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lleq_alt/lleq_fqus.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lleq_alt/lleq_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lleq_alt/lleq_lleq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llneq/lazynegatedeq_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llneq/lazynegatedeqalt_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llneq/llneq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llneq/llneq_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llneq/llneq_ext.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llneq/lpxs_llneq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpr/cpcs_cpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpr/cprs_cprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpr/cprs_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpr/lazypredsn_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpr/lazypredsnstar_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpr/llpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpr/llpr_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpr/llpr_llpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpr/llprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpr/llprs_cprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpr/llprs_llprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpr/llpx_sn_llpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/cpxs_llpx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/csx_llpx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/csx_llpxs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/fpbs_lpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/lazypredsn_7.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/lazypredsnstar_7.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/lazysn_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/lazysnalt_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llpx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llpx_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llpx_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llpx_lleq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llpx_lpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llpxs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llpxs_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llpxs_cpxs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llpxs_lleq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llpxs_llpxs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llpxs_lprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llsx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llsx_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llsx_csx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llsx_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llsx_llpx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llsx_llpxs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx_sn/llpx_sn_tc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx_sn/lpx_conj.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpc/lfpc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpc/lfpc_lfpc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpc/lfpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpc/lfpcs_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpc/lfpcs_fpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpc/lfpcs_lfpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpc/lfpcs_lfprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/cpr_llpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/cpx_llpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/lleq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/llpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/llpx_sn_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/llpx_sn_alt_rec.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/llpx_sn_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/llpx_sn_lpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/llpx_sn_tc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/lpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/lpx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/lpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/lpx_sn_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/lpx_sn_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/lpx_sn_lpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/lpx_sn_tc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/ssta_llpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubn/lsubn_lsubn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/aaa_lpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/cpcs_lpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/cpqs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/cpqs_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/cprs_lpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/cpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/cpss_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/dxprs_lpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lpqs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lpqs_cpqs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lpqs_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lpqs_lpqs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lpr_lpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lprs_lpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lpss_cpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lpss_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lpss_lpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lsubr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lsubr_etc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lsubr_lsubr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/snv_lpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/ssta_lpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/sstas_lpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/lsubn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/lsubn_cpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/lsubn_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/lsubn_nta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/nta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/nta_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/nta_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/nta_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/nta_ltpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/nta_ltpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/nta_nta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/nta_sta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/nta_thin.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snta/lsubsn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snta/lsubsn_cpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snta/lsubsn_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snta/lsubsn_snta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snta/snta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snta/snta_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snta/snta_ltpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snta/snta_ltpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snta/snta_snta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snta/snta_thin.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snv/snv_cpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snv/snv_da_lpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snv/snv_lpx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snv/snv_lstas_lpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snv_preserve.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/da_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/da_sta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/lstas.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/lstas_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/lstas_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/lstas_da.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/lstas_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/lstas_lstas.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/sta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/sta_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/sta_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/sta_llpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/sta_sta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/statictype_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/statictypestaralt_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/tshf/chnf.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/tshf/cpr_tshf.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/tshf/tshf.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/xpr/xpr_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/xpr/xpr_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/xpr/xpr_lsubss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/xpr/xprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/xpr/xprs_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/xpr/xprs_cprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/xpr/xprs_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/xpr/xprs_lsubss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/xpr/xprs_xprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/ceq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/ceq_ceq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpr/cpr_cir.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpr/cpr_cir.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lazyor_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/lrsubeq_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/psubst_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/psubststar_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/psubststaralt_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/grammar/aarity.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/append.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/append_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/ceq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/ceq_ceq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/cl_restricted_weight.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/cl_weight.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/genv.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/item.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/lenv.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/lenv_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/lenv_weight.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/term.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/term_simple.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/term_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/term_weight.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/tsts.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/tsts_tsts.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/tsts_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/names.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/dxabbr_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/dxabst_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/dxbind2_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btpred_8.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btpredalt_8.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btpredproper_8.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btpredstar_8.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btpredstaralt_8.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btsn_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btsnalt_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/cosn_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/dpconvstar_8.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/dpredstar_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazybtpredstarproper_8.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazyeq_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazyor_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lrsubeq_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lrsubeqv_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/nativevalid_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/nativevalid_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predeval_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsnstar_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predstar_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/psubst_6.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/psubststar_6.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/psubststaralt_6.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/sn_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/sn_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/snalt_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/snalt_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lreq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_simple.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lreq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_tsts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_tsts_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_lpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/gcp.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/gcp_cr.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_simple.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/cpm_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_transition/fqu.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_transition/fqu_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_transition/fqu_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubr_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/sd.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/sh.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/aarity.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/append.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/append_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/cl_restricted_weight.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/cl_weight.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/deq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/deq_deq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/genv.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/item.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/item_sd.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/item_sh.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/lenv.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/lenv_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/lenv_weight.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/term.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/term_simple.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/term_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/term_weight.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/tsts.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/tsts_tsts.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/tsts_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/replace.sh		diff \| blob \| history

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

RSS Atom