]> matita.cs.unibo.it Git - helm.git/commit
update un delayed_updating
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 23 Jan 2022 22:01:15 +0000 (23:01 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 23 Jan 2022 22:01:15 +0000 (23:01 +0100)
commit8d8863982ca95225551e9659ed431db046c34e81
tree2add05ff10b7a4bec214eeb4861b11689de8d1b7
parent775ab35f714568dfcd672f0dd53a00e1ba7382cd
update un delayed_updating

+ bugs fixed in dfr and ifr
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/reduction/ifr.ma
matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift.ma