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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 16 Apr 2016 22:01:54 +0000 (22:01 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 16 Apr 2016 22:01:54 +0000 (22:01 +0000)
commit	e9f96fa56226dfd74de214c89d827de0c5018ac7
tree	7ed3082d5038b85271042ec83bfe5a253d5d731c	tree \| snapshot
parent	ad3ca38634cfae29e8c26d0ab23cb466407eca5e	commit \| diff

refactoring to park the notions:
lstas, unfold, crr, cir, cnr, crx, cix, cnx

250 files changed:

matita/matita/contribs/lambdadelta/basic_2/computation/cpre.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpre_cpre.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cprs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cprs_cprs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cprs_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxe.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_aaa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_cpxs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_lleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_lreq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_tsts.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_tsts_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_aaa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_fpbs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_lleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_lpx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_lpxs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_tsts_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbg.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbg_fleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbg_fpbg.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbg_fpbs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbg_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_aaa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_fpb.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_fpbs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fsb.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fsb_aaa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fsb_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fsb_csx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/gcp.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/gcp_aaa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/gcp_cr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lcosx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lcosx_cpx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lprs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lprs_cprs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lprs_drop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lprs_lprs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_aaa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_cpxs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_drop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_lleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_lpxs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsubc.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsubc_drop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsubc_drops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsubc_lsuba.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsx_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsx_csx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsx_drop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsx_lpx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsx_lpxs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/scpds.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/scpds_aaa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/scpds_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/scpds_scpds.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/cir/cir.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cir/cir_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cir/prednotreducible_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cix/cix.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cix/cix_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cix/prednotreducible_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cnr/cnr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cnr/cnr_cir.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cnr/cnr_crr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cnr/cnr_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cnr/prednormal_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cnx/cnx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cnx/cnx_cix.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cnx/cnx_crx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cnx/cnx_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cnx/prednormal_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/crr/crr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/crr/crr_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/crr/predreducible_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/crx/crx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/crx/crx_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/crx/predreducible_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/lstas/lstas.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/lstas/lstas_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/lstas/lstas_da.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/lstas/lstas_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/lstas/lstas_llpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/lstas/lstas_lstas.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/lstas/statictypestar_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/unfold/unfold.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/unfold/unfold_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/prednormal_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/prednormal_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/prednotreducible_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/prednotreducible_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predreducible_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predreducible_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/statictypestar_6.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/unfold_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cir.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cir_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cix.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cix_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cnr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cnr_cir.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cnr_crr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cnr_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cnx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cnx_cix.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cnx_crx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cnx_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpr_cir.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpr_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpr_llpx_sn.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_cix.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_lleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_llpx_sn.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_lreq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/crr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/crr_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/crx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/crx_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/fpb.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/fpb_fleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/fpb_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/fpb_lleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/fpbq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/fpbq_aaa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/fpbq_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/fpbq_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpr_drop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpr_lpr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx_aaa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx_drop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx_frees.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx_lleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpre.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpre_cpre.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs_cprs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxe.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_aaa.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_cpxs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_lleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_lreq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_tsts.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_tsts_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_aaa.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_alt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_fpbs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_lleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_lpx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_lpxs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_tsts_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbg.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbg_fleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbg_fpbg.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbg_fpbs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbg_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_aaa.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_alt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_fpb.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_fpbs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb_aaa.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb_alt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb_csx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/gcp.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/gcp_aaa.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/gcp_cr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lcosx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lcosx_cpx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lprs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lprs_cprs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lprs_drop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lprs_lprs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_aaa.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_cpxs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_drop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_lleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_lpxs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lsubc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lsubc_drop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lsubc_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lsubc_lsuba.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lsx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lsx_alt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lsx_csx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lsx_drop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lsx_lpx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lsx_lpxs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/scpds.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/scpds_aaa.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/scpds_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/scpds_scpds.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr_cir.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr_llpx_sn.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_cix.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_lleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_llpx_sn.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_lreq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb_fleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb_lleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpbq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpbq_aaa.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpbq_alt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpbq_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpr_drop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpr_lpr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_aaa.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_drop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_frees.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_lleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/unfold/lstas.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/lstas_aaa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/lstas_da.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/lstas_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/lstas_llpx_sn.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/lstas_lstas.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/unfold.ma	[deleted file]	blob \| history

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

RSS Atom