]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d43c110) | patch
update in delayed_updating
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 7 Feb 2022 22:49:05 +0000 (23:49 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 7 Feb 2022 22:49:05 +0000 (23:49 +0100)
commit80e953c112c66f884d167e7ff876c1f6289e1400
treeb3fb713377611acf96b36195cfdff2585e576deetree | snapshot
parentd43c110267c05246b638e7f944e065820d5c1197commit | diff
update in delayed_updating

+ WIP on updating grafted trees
matita/matita/contribs/lambdadelta/delayed_updating/notation/functions/class_i_0.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/reduction/dfr_ifr.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/substitution/fsubst_lift.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift_preterm_eq.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift_structure.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_inner.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_proper.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/lib/list_rcons.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.