]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 00fca35) | patch
update in delayed_updating
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 9 Jun 2022 13:39:52 +0000 (15:39 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 9 Jun 2022 13:39:52 +0000 (15:39 +0200)
commitf5b6fd3125c0aefa1db23fbdd23b887fa964f385
tree1e1a5536fb08e6406e3ab27b1d8c7059755330c0tree | snapshot
parent00fca351072c2dba11b71c14b1169d303fd6836fcommit | diff
update in delayed_updating

+ bug fixed in ifr allows to prove ifr_unwind_bi
matita/matita/contribs/lambdadelta/delayed_updating/reduction/dfr.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/reduction/ifr.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/reduction/ifr_unwind.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.