]> matita.cs.unibo.it Git - helm.git/commit
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
tree24a32f74a85f455b20fca0ff7e5d43f228d5b589
parent04f2f61dbe017ee5a60fd30ae4b6ef355b6e8be4
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]
matita/matita/contribs/lambdadelta/delayed_updating/notation/functions/pitchfork_2.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/delayed_updating/notation/functions/pitchforkleftarrow_3.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/delayed_updating/notation/relations/predicate_squarecap_1.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/delayed_updating/reduction/dfr.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/delayed_updating/substitution/fsubst.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/delayed_updating/substitution/path_dephi.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/delayed_updating/substitution/preterm_dephi.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_balanced.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_dephi.ma [deleted file]
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_structure.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/delayed_updating/syntax/preterm.ma
matita/matita/contribs/lambdadelta/delayed_updating/syntax/preterm_dephi.ma [deleted file]