]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 797a607) | patch
update in delayed_updating
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 11 Sep 2022 21:13:53 +0000 (23:13 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 11 Sep 2022 21:13:53 +0000 (23:13 +0200)
commit9e31ac1f3f868349154b0ce2e550e2476aaf6a30
tree9213e093a26f8cdb767848d42d7a248cf9e64a1btree | snapshot
parent797a607af83f82102033270087722a7e59ddcd17commit | diff
update in delayed_updating

+ reference by depth with offset parked for now
12 files changed:
matita/matita/contribs/lambdadelta/delayed_updating/etc/d2/d2.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/d2/nodelabel_d_2.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/d2/tau_3.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/notation/functions/nodelabel_d_2.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/delayed_updating/notation/functions/tau_3.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/label.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_depth.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_inner.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_structure.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_structure_inner.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/prototerm_constructors.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/prototerm_proper_constructors.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.