]> matita.cs.unibo.it Git - helm.git/commit
advances on ldrop ....
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 11 May 2014 20:15:34 +0000 (20:15 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 11 May 2014 20:15:34 +0000 (20:15 +0000)
commit3325b784763ae9e6bac4307463071bb38e5641c9
tree8714dfc8561250334805dd27bedf79cff126ea3e
parenta0d25627e80a3a2fe68da954b68f6d541c6dbc34
advances on ldrop ....
15 files changed:
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_lleq.ma
matita/matita/contribs/lambdadelta/basic_2/computation/lsx_csx.ma
matita/matita/contribs/lambdadelta/basic_2/etc/llpx_sn_alt2.etc
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx_lleq.ma
matita/matita/contribs/lambdadelta/basic_2/relocation/gget.ma
matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop.ma
matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop_ldrop.ma
matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop_leq.ma
matita/matita/contribs/lambdadelta/basic_2/relocation/lsuby.ma
matita/matita/contribs/lambdadelta/basic_2/substitution/cpys_cpys.ma
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_fqus.ma
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_alt1.ma
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_ldrop.ma
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_lpx_sn.ma
matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma