]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 04f2f61) | patch
update in delayed updating
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Fri, 24 Dec 2021 09:50:41 +0000 (10:50 +0100)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Fri, 24 Dec 2021 09:50:41 +0000 (10:50 +0100)
commit9605ffc88831066a901ea4eb8e419f277662f372
tree24a32f74a85f455b20fca0ff7e5d43f228d5b589tree | snapshot
parent04f2f61dbe017ee5a60fd30ae4b6ef355b6e8be4commit | diff
update in delayed updating

+ delayed focalized reduction
13 files changed:
matita/matita/contribs/lambdadelta/delayed_updating/notation/functions/circled_times_1.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/notation/functions/pitchfork_2.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/notation/functions/pitchforkleftarrow_3.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/notation/relations/predicate_squarecap_1.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/reduction/dfr.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/substitution/fsubst.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/substitution/path_dephi.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/substitution/preterm_dephi.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_balanced.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_dephi.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_structure.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/syntax/preterm.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/preterm_dephi.ma [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.