]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cd2f5b5) | patch
update in delayed_updating
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 17 Nov 2022 22:08:19 +0000 (23:08 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 17 Nov 2022 22:08:19 +0000 (23:08 +0100)
commitf31020f1ae14e28c246b6cd9cf91b5864f4f536a
treee967d325408080873bec12c98558e7047d441767tree | snapshot
parentcd2f5b59215ea771ac137b9a7b115a05175f45d5commit | diff
update in delayed_updating

+ example of unprotected balanced reduction continued and simplified
matita/matita/contribs/lambdadelta/delayed_updating/reduction/dbfr.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/reduction/dbfr_constructors.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/reduction/dbfr_unprotected.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/unwind/unwind2_prototerm_constructors.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/etc/lib/list_rcons.etc [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.