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

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

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Thu, 27 Feb 2020 15:18:06 +0000 (16:18 +0100)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Thu, 27 Feb 2020 15:18:06 +0000 (16:18 +0100)
commit	1fd63df4c77f5c24024769432ea8492748b4ac79
tree	dcb096d3a60acd1c851c092b93f52ba71c741bd8	tree \| snapshot
parent	277fc8ff21ce3dbd6893b1994c55cf5c06a98355	commit \| diff

milestone update in ground_2 and basic_2A

+ basic_2A ported to ground_2
+ cpy, cpys and lsuby parked in basic_2A
+ ground_2 updated for basic_2A becomes an independent package
+ ground_2A removed
+ parked files for basic_2A moved in basic_2A
+ web site update

899 files changed:

.gitignore		diff \| blob \| history
helm/www/lambdadelta/Makefile		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	[new file with mode: 0644]	blob
helm/www/lambdadelta/web/home/specification.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/Makefile		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/cir_append.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/cix_append.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/cl_shift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/cpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/cpx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/cpy2.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/cpys0.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/cpys2.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/crr_append.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/crx_append.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/lpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/lpx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/lpx_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/append/lpys0.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/cny.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/cny_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/cpx_cpzs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/cpye.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/cpye_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/cpye_cpye.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/cpye_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/cpys_cny.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/cpzs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/lleq_cpye.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/lpx_cpye.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/lpxs_cpye.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/pdeltaconvstar_6.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/psubsteval_6.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/psubstevalalt_6.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cny/psubstnormal_5.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cofrees/cofrees.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cofrees/cofrees_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cofrees/cofrees_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cofrees/cofreestar_4.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpcs/cpcs_cpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpes.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/aaa_ltpss_dx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/aaa_ltpss_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cnf_cif.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cpcs_ltpss_dx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cpcs_ltpss_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cpr_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cpr_cpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cpr_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cpr_ltpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cpr_ltpss_dx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cpr_ltpss_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cpr_tpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cprs_ltpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cprs_ltpss_dx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cprs_ltpss_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/cprs_tpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/dxprs_ltpss_dx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/dxprs_ltpss_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ldrop_lbotr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ldrop_lpx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/lenv_px.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/lenv_top.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/lfpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/lfpr_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/lfpr_cpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/lfpr_lfpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/lfprs_ltprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/lsubr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/lsubr_lbotr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpr_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpr_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpr_ltpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpr_ltpss_dx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpr_ltpss_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpr_tps.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpr_tpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltprs_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltprs_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltprs_ltprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpss_dx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpss_dx_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpss_dx_ltpss_dx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpss_dx_tps.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpss_dx_tpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpss_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpss_sn_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpss_sn_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpss_sn_ltpss_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpss_sn_tps.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ltpss_sn_tpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/snv_ltpss_dx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/snv_ltpss_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ssta_ltpss_dx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/ssta_ltpss_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/sstas_ltpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/sstas_ltpss_dx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/sstas_ltpss_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/sta_ltpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tpr_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tpr_tpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tprs_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tprs_tprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tps.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tps_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tps_tps.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tpss_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tpss_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpr/tpss_tpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys0/cpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys0/cpys_cpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys0/cpys_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys0/lpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys0/lpys_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys0/lpys_lpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys0/lrsubeq_2.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys0/lsuby.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys0/lsuby_lsuby.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys0/psubstsnstar_3.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys0/psubststar_4.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys2/cpx_cpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys2/cpx_cpys2.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys2/cpxs_cpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys2/lpx_cpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/cpys2/lsuby.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/csup/csup.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/csup/csup_csup.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/csup/csups_csups.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/cpcs_delift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/cpr_delift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/cprs_delift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/delift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/delift_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/delift_delift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/delift_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/delift_ltpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/delift_tpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/thin.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/thin_delift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/thin_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/delift/tpr_delift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/etc/cpr_conj.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/etc/ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fleq/fpbc_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fleq/fpbs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpa/fpa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpa/fpa_fpa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpa/fpas.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpa/fpas_fpas.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpa/fpas_vector.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpa/gcp.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpa/gcp_cr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpa/rajust_5.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpa/rajuststar_5.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpbc/fpbc.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpbc/fpbc_fleq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpbc/fpbg.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpbc/fpbg_fleq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpbc/fpbg_fpbg.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpbc/fpbg_fpbs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpbc/fpbg_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpbc/fpbs_fpbc.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpbc/lazybtpredproper_8.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/bteq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/bteq_6.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/bteq_bteq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/btpredsn_8.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/fpb.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/fpbc.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/fpbs_conj.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/fpn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/fpn_fpn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/fpns.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/fpns_fpns.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/fqu.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/fsb.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/fsb_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpn/lazyeq_6.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/cfpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/cfpr_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/cfpr_cfpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/cfpr_cpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/cfpr_ltpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fpc.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fpc_fpc.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fpcs_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fpcs_cpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fpcs_fpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fpcs_fprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fpr_cpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fpr_fpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fprs_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fprs_cprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/fprs_fprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/lenv_px_bi.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/lfpr_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/lfpr_fpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fpr/lfprs_fprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/frsup/frsup.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/frsup/frsupp.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/frsup/frsupp_frsupp.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/frsup/frsups.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/frsup/frsups_frsups.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/frsup/ssta_frsups.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fsup/fsup.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fsup/fsups.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fsup/ldrop_fsup.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/fsup/ldrop_fsups.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/gcp/gcp_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/gcp/gcp_cr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lcoeq/coeq_4.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lcoeq/lcoeq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lcoeq/lcoeq_lcoeq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lcoeq/ldrop_lcoeq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lcpcs/lcpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lcpcs/lcpcs_ltpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lleq_alt/lazyeqalt_4.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lleq_alt/lleq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lleq_alt/lleq_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lleq_alt/lleq_ext.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lleq_alt/lleq_fqus.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lleq_alt/lleq_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lleq_alt/lleq_lleq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llneq/lazynegatedeq_4.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llneq/lazynegatedeqalt_4.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llneq/llneq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llneq/llneq_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llneq/llneq_ext.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llneq/lpxs_llneq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpr/cpcs_cpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpr/cprs_cprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpr/cprs_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpr/lazypredsn_5.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpr/lazypredsnstar_5.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpr/llpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpr/llpr_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpr/llpr_llpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpr/llprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpr/llprs_cprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpr/llprs_llprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpr/llpx_sn_llpx_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/cpxs_llpx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/csx_llpx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/csx_llpxs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/fpbs_lpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/lazypredsn_7.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/lazypredsnstar_7.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/lazysn_6.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/lazysnalt_6.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llpx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llpx_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llpx_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llpx_lleq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llpx_lpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llpxs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llpxs_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llpxs_cpxs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llpxs_lleq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llpxs_llpxs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llpxs_lprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llsx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llsx_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llsx_csx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llsx_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llsx_llpx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx/llsx_llpxs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx_sn/llpx_sn_tc.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/llpx_sn/lpx_conj.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpc/lfpc.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpc/lfpc_lfpc.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpc/lfpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpc/lfpcs_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpc/lfpcs_fpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpc/lfpcs_lfpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpc/lfpcs_lfprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/cpr_llpx_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/cpx_llpx_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/lleq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/llpx_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/llpx_sn_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/llpx_sn_alt_rec.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/llpx_sn_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/llpx_sn_lpx_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/llpx_sn_tc.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/lpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/lpx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/lpx_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/lpx_sn_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/lpx_sn_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/lpx_sn_lpx_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/lpx_sn_tc.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lpx_sn/ssta_llpx_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubn/lsubn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubn/lsubn_cpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubn/lsubn_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubn/lsubn_lsubn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubn/lsubn_nta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/aaa_lpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/cpcs_lpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/cpqs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/cpqs_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/cprs_lpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/cpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/cpss_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/dxprs_lpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lpqs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lpqs_cpqs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lpqs_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lpqs_lpqs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lpr_lpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lprs_lpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lpss_cpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lpss_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lpss_lpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lsubr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lsubr_etc.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/lsubr_lsubr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/snv_lpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/ssta_lpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubr/sstas_lpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snta/lsubsn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snta/lsubsn_cpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snta/lsubsn_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snta/lsubsn_snta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snta/snta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snta/snta_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snta/snta_ltpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snta/snta_ltpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snta/snta_snta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snta/snta_thin.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snv/snv_cpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snv/snv_da_lpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snv/snv_lpx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snv/snv_lstas_lpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snv/snv_preserve.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/da_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/da_sta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/lstas.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/lstas_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/lstas_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/lstas_da.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/lstas_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/lstas_lstas.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/sta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/sta_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/sta_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/sta_llpx_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/sta_sta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/statictype_5.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/sta/statictypestaralt_6.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/tshf/chnf.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/tshf/cpr_tshf.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/tshf/tshf.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/xpr/xpr_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/xpr/xpr_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/xpr/xpr_lsubss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/xpr/xprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/xpr/xprs_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/xpr/xprs_cprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/xpr/xprs_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/xpr/xprs_lsubss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/xpr/xprs_xprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/computation/cprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/computation/cprs_cprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/computation/cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/computation/cpxs_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/computation/cpxs_lreq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/computation/csx_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/computation/csx_tsts_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/computation/csx_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/computation/gcp_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/computation/gcp_cr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/computation/lcosx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/computation/lcosx_cpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/computation/lprs_cprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/computation/lpxs_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/computation/lsubc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/computation/lsx_lpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/computation/lsx_lpxs.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/equivalence/cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/etc/append/cir_append.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/append/cix_append.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/append/cl_shift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/append/cpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/append/cpx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/append/cpy2.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/append/cpys0.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/append/cpys2.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/append/crr_append.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/append/crx_append.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/append/lpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/append/lpx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/append/lpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/append/lpys0.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cny/cny.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cny/cny_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cny/cpx_cpzs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cny/cpye.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cny/cpye_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cny/cpye_cpye.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cny/cpye_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cny/cpys_cny.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cny/cpzs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cny/lleq_cpye.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cny/lpx_cpye.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cny/lpxs_cpye.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cny/pdeltaconvstar_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cny/psubsteval_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cny/psubstevalalt_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cny/psubstnormal_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cofrees/cofrees.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cofrees/cofrees_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cofrees/cofrees_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cofrees/cofreestar_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpcs/cpcs_cpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpes.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/aaa_ltpss_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/aaa_ltpss_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/cnf_cif.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/cpcs_ltpss_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/cpcs_ltpss_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/cpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/cpr_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/cpr_cpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/cpr_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/cpr_ltpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/cpr_ltpss_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/cpr_ltpss_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/cpr_tpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/cprs_ltpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/cprs_ltpss_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/cprs_ltpss_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/cprs_tpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/dxprs_ltpss_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/dxprs_ltpss_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ldrop_lbotr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ldrop_lpx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/lenv_px.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/lenv_top.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/lfpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/lfpr_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/lfpr_cpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/lfpr_lfpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/lfprs_ltprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/lsubr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/lsubr_lbotr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ltpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ltpr_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ltpr_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ltpr_ltpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ltpr_ltpss_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ltpr_ltpss_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ltpr_tps.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ltpr_tpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ltprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ltprs_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ltprs_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ltprs_ltprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ltpss_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ltpss_dx_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ltpss_dx_ltpss_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ltpss_dx_tps.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ltpss_dx_tpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ltpss_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ltpss_sn_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ltpss_sn_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ltpss_sn_ltpss_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ltpss_sn_tps.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ltpss_sn_tpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/snv_ltpss_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/snv_ltpss_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ssta_ltpss_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/ssta_ltpss_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/sstas_ltpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/sstas_ltpss_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/sstas_ltpss_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/sta_ltpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/tpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/tpr_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/tpr_tpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/tprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/tprs_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/tprs_tprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/tps.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/tps_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/tps_tps.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/tpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/tpss_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/tpss_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpr/tpss_tpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpys0/cpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpys0/cpys_cpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpys0/cpys_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpys0/lpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpys0/lpys_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpys0/lpys_lpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpys0/lrsubeq_2.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpys0/lsuby.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpys0/lsuby_lsuby.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpys0/psubstsnstar_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpys0/psubststar_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpys2/cpx_cpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpys2/cpx_cpys2.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpys2/cpxs_cpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpys2/lpx_cpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/cpys2/lsuby.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/csup/csup.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/csup/csup_csup.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/csup/csups_csups.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/delift/cpcs_delift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/delift/cpr_delift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/delift/cprs_delift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/delift/delift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/delift/delift_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/delift/delift_delift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/delift/delift_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/delift/delift_ltpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/delift/delift_tpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/delift/thin.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/delift/thin_delift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/delift/thin_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/delift/tpr_delift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/etc/cpr_conj.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/etc/ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fleq/fpbc_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fleq/fpbs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpa/fpa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpa/fpa_fpa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpa/fpas.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpa/fpas_fpas.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpa/fpas_vector.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpa/gcp.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpa/gcp_cr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpa/rajust_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpa/rajuststar_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpbc/fpbc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpbc/fpbc_fleq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpbc/fpbg.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpbc/fpbg_fleq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpbc/fpbg_fpbg.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpbc/fpbg_fpbs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpbc/fpbg_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpbc/fpbs_fpbc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpbc/lazybtpredproper_8.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpn/bteq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpn/bteq_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpn/bteq_bteq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpn/btpredsn_8.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpn/fpb.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpn/fpbc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpn/fpbs_conj.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpn/fpn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpn/fpn_fpn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpn/fpns.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpn/fpns_fpns.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpn/fqu.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpn/fsb.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpn/fsb_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpn/lazyeq_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpr/cfpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpr/cfpr_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpr/cfpr_cfpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpr/cfpr_cpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpr/cfpr_ltpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpr/fpc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpr/fpc_fpc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpr/fpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpr/fpcs_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpr/fpcs_cpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpr/fpcs_fpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpr/fpcs_fprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpr/fpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpr/fpr_cpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpr/fpr_fpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpr/fprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpr/fprs_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpr/fprs_cprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpr/fprs_fprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpr/lenv_px_bi.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpr/lfpr_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpr/lfpr_fpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fpr/lfprs_fprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/frsup/frsup.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/frsup/frsupp.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/frsup/frsupp_frsupp.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/frsup/frsups.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/frsup/frsups_frsups.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/frsup/ssta_frsups.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fsup/fsup.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fsup/fsups.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fsup/ldrop_fsup.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/fsup/ldrop_fsups.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/gcp/gcp_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/gcp/gcp_cr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lcoeq/coeq_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lcoeq/lcoeq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lcoeq/lcoeq_lcoeq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lcoeq/ldrop_lcoeq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lcpcs/lcpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lcpcs/lcpcs_ltpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lleq_alt/lazyeqalt_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lleq_alt/lleq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lleq_alt/lleq_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lleq_alt/lleq_ext.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lleq_alt/lleq_fqus.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lleq_alt/lleq_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lleq_alt/lleq_lleq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llneq/lazynegatedeq_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llneq/lazynegatedeqalt_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llneq/llneq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llneq/llneq_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llneq/llneq_ext.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llneq/lpxs_llneq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpr/cpcs_cpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpr/cprs_cprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpr/cprs_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpr/lazypredsn_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpr/lazypredsnstar_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpr/llpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpr/llpr_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpr/llpr_llpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpr/llprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpr/llprs_cprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpr/llprs_llprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpr/llpx_sn_llpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx/cpxs_llpx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx/csx_llpx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx/csx_llpxs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx/fpbs_lpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx/lazypredsn_7.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx/lazypredsnstar_7.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx/lazysn_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx/lazysnalt_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx/llpx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx/llpx_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx/llpx_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx/llpx_lleq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx/llpx_lpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx/llpxs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx/llpxs_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx/llpxs_cpxs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx/llpxs_lleq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx/llpxs_llpxs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx/llpxs_lprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx/llsx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx/llsx_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx/llsx_csx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx/llsx_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx/llsx_llpx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx/llsx_llpxs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx_sn/llpx_sn_tc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/llpx_sn/lpx_conj.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lpc/lfpc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lpc/lfpc_lfpc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lpc/lfpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lpc/lfpcs_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lpc/lfpcs_fpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lpc/lfpcs_lfpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lpc/lfpcs_lfprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lpx_sn/cpr_llpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lpx_sn/cpx_llpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lpx_sn/lleq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lpx_sn/llpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lpx_sn/llpx_sn_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lpx_sn/llpx_sn_alt_rec.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lpx_sn/llpx_sn_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lpx_sn/llpx_sn_lpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lpx_sn/llpx_sn_tc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lpx_sn/lpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lpx_sn/lpx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lpx_sn/lpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lpx_sn/lpx_sn_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lpx_sn/lpx_sn_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lpx_sn/lpx_sn_lpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lpx_sn/lpx_sn_tc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lpx_sn/ssta_llpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubn/lsubn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubn/lsubn_cpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubn/lsubn_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubn/lsubn_lsubn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubn/lsubn_nta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubr/aaa_lpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubr/cpcs_lpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubr/cpqs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubr/cpqs_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubr/cprs_lpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubr/cpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubr/cpss_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubr/dxprs_lpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubr/lpqs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubr/lpqs_cpqs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubr/lpqs_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubr/lpqs_lpqs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubr/lpr_lpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubr/lprs_lpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubr/lpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubr/lpss_cpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubr/lpss_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubr/lpss_lpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubr/lsubr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubr/lsubr_etc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubr/lsubr_lsubr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubr/snv_lpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubr/ssta_lpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/lsubr/sstas_lpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/snta/lsubsn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/snta/lsubsn_cpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/snta/lsubsn_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/snta/lsubsn_snta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/snta/snta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/snta/snta_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/snta/snta_ltpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/snta/snta_ltpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/snta/snta_snta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/snta/snta_thin.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/snv/snv_cpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/snv/snv_da_lpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/snv/snv_lpx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/snv/snv_lstas_lpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/snv/snv_preserve.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/sta/da_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/sta/da_sta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/sta/lstas.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/sta/lstas_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/sta/lstas_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/sta/lstas_da.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/sta/lstas_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/sta/lstas_lstas.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/sta/sta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/sta/sta_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/sta/sta_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/sta/sta_llpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/sta/sta_sta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/sta/statictype_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/sta/statictypestaralt_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/tshf/chnf.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/tshf/cpr_tshf.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/tshf/tshf.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/xpr/xpr_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/xpr/xpr_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/xpr/xpr_lsubss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/xpr/xprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/xpr/xprs_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/xpr/xprs_cprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/xpr/xprs_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/xpr/xprs_lsubss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc/xpr/xprs_xprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc_yminus/cpy/cpy.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc_yminus/cpy/cpy_cpy.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc_yminus/cpy/cpy_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc_yminus/cpy/cpy_nlift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc_yminus/cpy/psubst_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc_yminus/cpys/cpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc_yminus/cpys/cpys_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc_yminus/cpys/cpys_cpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc_yminus/cpys/cpys_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc_yminus/cpys/psubststar_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc_yminus/cpys/psubststaralt_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc_yminus/lsuby/lrsubeq_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc_yminus/lsuby/lsuby.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/etc_yminus/lsuby/lsuby_lsuby.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/grammar/aarity.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/grammar/genv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/grammar/genv_length.ma	[new file with mode: 0644]	blob
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/cpys.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/cpys_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/cpys_cpys.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/cpys_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/drops_drop.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/lifts_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/lleq_drop.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/multiple/llpx_sn_tc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/mr2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/mr2_minus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/mr2_mr2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/mr2_plus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/lrsubeq_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/psubst_6.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/psubststar_6.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2A/notation/relations/psubststaralt_6.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2A/reduction/cir.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/reduction/cnr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/reduction/cnr_cir.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/reduction/cnr_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/reduction/cnx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/reduction/cnx_cix.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/reduction/cnx_lift.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/cpy.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2A/substitution/cpy_cpy.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2A/substitution/cpy_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2A/substitution/cpy_nlift.ma	[deleted file]	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/gget.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/substitution/lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/substitution/lift_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/substitution/lift_vector.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/substitution/lsuby.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2A/substitution/lsuby_lsuby.ma	[deleted file]	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	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/inline/Makefile		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/ynat/ynat_minus_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/lstar_2a.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/append_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_6_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_7_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_7_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_8_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/relocation/mr2_append.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/web/ground_2.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa.conf.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_6_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_7_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_7_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_8_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_lt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_minus_sn.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_plus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2A/lib/arith.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/lib/bool.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/lib/list.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/lib/lstar.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/lib/star.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/notation/constructors/cons_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/notation/constructors/cons_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/notation/constructors/infinity_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/notation/constructors/nil_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/notation/constructors/no_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/notation/constructors/yes_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/notation/functions/append_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/notation/functions/predecessor_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/notation/functions/successor_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/notation/xoa/false_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/notation/xoa/true_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/notation/xoa2_notation.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/notation/xoa_notation.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/xoa/xoa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/xoa/xoa2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/xoa/xoa_props.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/ynat/ynat.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/ynat/ynat_le.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/ynat/ynat_lt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/ynat/ynat_max.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/ynat/ynat_min.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/ynat/ynat_minus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/ynat/ynat_plus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/ynat/ynat_pred.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2A/ynat/ynat_succ.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/lveq_length.ma		diff \| blob \| history

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

RSS Atom