]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 513c4a6) | patch
update in delayed_updating
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 14 Nov 2022 22:13:29 +0000 (23:13 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 14 Nov 2022 22:13:29 +0000 (23:13 +0100)
commitcd2f5b59215ea771ac137b9a7b115a05175f45d5
tree648ba1a7441f5e97699d6f134c1886a7ec2fc023tree | snapshot
parent513c4a61f11ce03888a8a0f9d8e513de6e3a7c8bcommit | diff
update in delayed_updating

+ example of unprotected balanced reduction continued
matita/matita/contribs/lambdadelta/delayed_updating/reduction/dbfr_unprotected.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/reduction/ibfr_constructors.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.