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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 24 Jan 2017 17:21:08 +0000 (17:21 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 24 Jan 2017 17:21:08 +0000 (17:21 +0000)
commit	b4b5f03ffca4f250a1dc02f277b70e4f33ac8a9b
tree	e361abb05ba8d5d0d082e71807534eeb9e662839	tree \| snapshot
parent	09b4420070d6a71990e16211e499b51dbb0742cb	commit \| diff

- updated equivalence on referred entries: it nust be degree-based
- refactoring

237 files changed:

matita/matita/contribs/lambdadelta/basic_2/etc/ceq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ceq_ceq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cir/cir.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cir/cir_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cir/prednotreducible_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cix/cix.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cix/cix_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cix/prednotreducible_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cnr/cnr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cnr/cnr_cir.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cnr/cnr_crr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cnr/cnr_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cnr/prednormal_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cnx/cnx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cnx/cnx_cix.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cnx/cnx_crx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cnx/cnx_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cnx/prednormal_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpg/cpg_drops.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpg/cpg_length.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/cpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/cpr_cir.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpx/cpx_cix.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpx/cpx_drops.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpx/cpx_length.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpx/cpx_sta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpy/cpy.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpy/cpy_cpy.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpy/cpy_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpy/cpy_nlift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpys/cpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpys/cpys_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpys/cpys_cpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpys/cpys_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/crr/crr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/crr/crr_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/crr/predreducible_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/crx/crx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/crx/crx_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/crx/predreducible_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/da/da.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/da/da_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/da/da_da.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/da/da_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/da/degree_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/droppreds_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/drops/drops.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/drops/drops_append.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/drops/drops_drops.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/drops/drops_length.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fqu/fqu.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fqu/fquq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/frees/frees.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/frees/frees_append.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/frees/frees_fqus.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/frees/frees_length.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/frees/frees_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/gget/gget.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/gget/gget_gget.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/gget/rdrop_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lazyor_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lfpr_main.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lfxs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lfxs_drops.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lfxs_fqup.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lfxs_length.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lfxs_lfxs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lifts/lifts_neg.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lleq/lleq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lleq/lleq_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lleq/lleq_alt_rec.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lleq/lleq_drop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lleq/lleq_fqus.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lleq/lleq_llor.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lleq/lleq_lreq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/llpx_sn/llpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/llpx_sn/llpx_sn_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/llpx_sn/llpx_sn_alt_rec.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/llpx_sn/llpx_sn_drop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/llpx_sn/llpx_sn_frees.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/llpx_sn/llpx_sn_llor.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/llpx_sn/llpx_sn_lpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/llpx_sn/llpx_sn_lreq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/llpx_sn/llpx_sn_tc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx/lpx_fquq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpx_sn_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpx_sn_tc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lrsubeq_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lstas/lstas.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lstas/lstas_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lstas/lstas_da.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lstas/lstas_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lstas/lstas_llpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lstas/lstas_lstas.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lstas/statictypestar_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lsubd/lrsubeqd_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lsubd/lsubd.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lsubd/lsubd_da.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lsubd/lsubd_lsubd.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lsuby/lsuby.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lsuby/lsuby_lsuby.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ltls.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/psubst_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/psubststar_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/psubststaralt_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/unfold/unfold.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/unfold/unfold_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/ceq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/ceq_ceq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cir/cir.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cir/cir_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cir/prednotreducible_3.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cix/cix.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cix/cix_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cix/prednotreducible_5.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cnr/cnr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cnr/cnr_cir.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cnr/cnr_crr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cnr/cnr_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cnr/prednormal_3.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cnx/cnx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cnx/cnx_cix.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cnx/cnx_crx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cnx/cnx_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cnx/prednormal_5.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpg/cpg_drops.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpg/cpg_length.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpr/cpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpr/cpr_cir.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpx/cpx_cix.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpx/cpx_drops.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpx/cpx_length.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpx/cpx_sta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpy/cpy.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpy/cpy_cpy.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpy/cpy_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpy/cpy_nlift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpys/cpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpys/cpys_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpys/cpys_cpys.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpys/cpys_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/crr/crr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/crr/crr_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/crr/predreducible_3.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/crx/crx.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/crx/crx_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/crx/predreducible_5.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/da/da.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/da/da_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/da/da_da.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/da/da_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/da/degree_6.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/droppreds_3.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/drops/drops.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/drops/drops_append.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/drops/drops_drops.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/drops/drops_length.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/fqu/fqu.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/fqu/fquq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/frees/frees.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/frees/frees_append.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/frees/frees_fqus.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/frees/frees_length.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/frees/frees_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/gget/gget.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/gget/gget_gget.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/gget/rdrop_3.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lazyor_5.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lfpr_main.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lifts/lifts_neg.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lleq/lleq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lleq/lleq_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lleq/lleq_alt_rec.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lleq/lleq_drop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lleq/lleq_fqus.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lleq/lleq_llor.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lleq/lleq_lreq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/llpx_sn/llpx_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/llpx_sn/llpx_sn_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/llpx_sn/llpx_sn_alt_rec.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/llpx_sn/llpx_sn_drop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/llpx_sn/llpx_sn_frees.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/llpx_sn/llpx_sn_llor.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/llpx_sn/llpx_sn_lpx_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/llpx_sn/llpx_sn_lreq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/llpx_sn/llpx_sn_tc.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lpx/lpx_fquq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lpx_sn/lpx_sn_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lpx_sn/lpx_sn_tc.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lrsubeq_4.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lstas/lstas.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lstas/lstas_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lstas/lstas_da.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lstas/lstas_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lstas/lstas_llpx_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lstas/lstas_lstas.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lstas/statictypestar_6.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lsubd/lrsubeqd_5.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lsubd/lsubd.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lsubd/lsubd_da.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lsubd/lsubd_lsubd.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lsuby/lsuby.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lsuby/lsuby_lsuby.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/ltls.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/psubst_6.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/psubststar_6.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/psubststaralt_6.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/unfold/unfold.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/unfold/unfold_4.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazyeq_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazyeq_6.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazyeq_8.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_lfdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/aaa_lfeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ffdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/ffdeq_ffdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/ffdeq_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/ffeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ffeq_ffeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees_lreq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_lfdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/lfeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfeq_fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfeq_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfeq_lfeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfeq_lreq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_lfxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/deq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/deq_deq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/tdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/tdeq_tdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history

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

RSS Atom