]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 21 Apr 2020 12:35:09 +0000 (14:35 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 21 Apr 2020 21:15:40 +0000 (23:15 +0200)
commitb2cdc4abd9ac87e39bc51b0d9c38daea179adbd5
tree4e9dc22c3bb1ffd9acedd3d2003260e24d295c43
parent3c7b4071a9ac096b02334c1d47468776b948e2de
update in basic_2

+ rpx_req: cpx_teqx_conf_rex replaced by cpx_teqx_repl_reqx
12 files changed:
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_feqx.ma
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_reqx.ma
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_teqx.ma
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_cpxs.ma
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_csx.ma
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_reqx.ma
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb_csx.ma
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cnx_cnx.ma
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_feqx.ma
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb_reqx.ma
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_reqx.ma
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_reqx.ma