]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1b82038) | patch
update in delayed_updating
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 22 Jan 2022 19:12:27 +0000 (20:12 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 22 Jan 2022 19:12:27 +0000 (20:12 +0100)
commit56092257aa4be8e6d0ae37ee6590f6d3258b0485
tree68783ed950135f4c2dbb17e2fae65858e57c9e9ftree | snapshot
parent1b82038aa813e24e84959526e83dd35d849b51f2commit | diff
update in delayed_updating

+ bugs fixed id dfr and ifr
matita/matita/contribs/lambdadelta/delayed_updating/reduction/dfr.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/reduction/dfr_ifr.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/reduction/ifr.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift_structure_depth.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_structure_depth.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.