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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 8 May 2016 18:56:11 +0000 (18:56 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 8 May 2016 18:56:11 +0000 (18:56 +0000)
commit	e9da8e091898b6e67a2f270581bdc5cdbe80e9b0
tree	7a9e160bddabf6ea7accb7ca49ccc2c756c57334	tree \| snapshot
parent	3a430d712f9d87185e9271b7b0c5188c5f311e4b	commit \| diff

some renaming and reordering of variables
the commit works up tp the "static" component + lpg.ma

65 files changed:

matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv_lstas.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lstas.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lstas_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/cpcs_cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/names.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/pred_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/rdropstar_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_ceq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lexs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lreq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lstar.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs_lexs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_lifts_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_simple.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lreq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lreq_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lreq_lreq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs_cprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_tsts_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_tsts_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/gcp_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/gcp_cr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lprs_cprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lsubc_drop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/scpds_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/scpds_scpds.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_lsubr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_simple.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr_llpx_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_llpx_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees_frees.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees_lreq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfeq_lfeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfeq_lreq.ma		diff \| 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/static/lsuba_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubr_drops.ma		diff \| blob \| history

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

RSS Atom