]> matita.cs.unibo.it Git - helm.git/commit
update in delayed_updating
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 16 Feb 2022 22:45:20 +0000 (23:45 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 16 Feb 2022 22:45:20 +0000 (23:45 +0100)
commit62d0f5f2c89830ebe884e6afee91eb68b68790fc
treeb664f321f00f0d76807fab4491f4454238a0f1bf
parentbe152b5436a8e1e107684722be834dbe02196d53
update in delayed_updating

+ important additionsand corrections
matita/matita/contribs/lambdadelta/delayed_updating/reduction/dfr.ma
matita/matita/contribs/lambdadelta/delayed_updating/reduction/dfr_ifr.ma
matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift.ma
matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift_depth.ma
matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift_structure_depth.ma
matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift_update.ma