]> matita.cs.unibo.it Git - helm.git/commit
we rephrased sstas in terms of star
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 15 Feb 2013 18:52:30 +0000 (18:52 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 15 Feb 2013 18:52:30 +0000 (18:52 +0000)
commitf897953a3fff70a0c1de4683c196385d563ce238
treee652fd68d853f1d49a8e219bdb252ef1ddcf102d
parent5cf322d1dd867701a2ef715f499f482f0b3d56aa
we rephrased sstas in terms of star
matita/matita/contribs/lambdadelta/basic_2/computation/dxprs.ma
matita/matita/contribs/lambdadelta/basic_2/computation/dxprs_lsubss.ma
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_aaa.ma
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_ltpr_2.ma
matita/matita/contribs/lambdadelta/basic_2/static/ssta.ma
matita/matita/contribs/lambdadelta/basic_2/unwind/sstas.ma
matita/matita/contribs/lambdadelta/basic_2/unwind/sstas_aaa.ma
matita/matita/contribs/lambdadelta/basic_2/unwind/sstas_lift.ma
matita/matita/contribs/lambdadelta/basic_2/unwind/sstas_lsubss.ma
matita/matita/contribs/lambdadelta/basic_2/unwind/sstas_ltpss_dx.ma
matita/matita/contribs/lambdadelta/basic_2/unwind/sstas_sstas.ma