]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9aa2722) | patch
severe bug found in parallel zeta
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 19 Aug 2018 16:14:55 +0000 (18:14 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 19 Aug 2018 16:14:55 +0000 (18:14 +0200)
commit765848c4d9a3f5434fae623f3e623d1b73ac76a5
tree1b83b0bcca8556a846c330b9c00f3287e0235c9atree | snapshot
parent9aa2722ff4aa7868ffd14e5a820cd6dc79e2c8a6commit | diff
severe bug found in parallel zeta

+ final commit: component "examples" corrected
+ ex_cpr_omega improved: Ω ➡ Ω in exactly three steps (long awaited property)
matita/matita/contribs/lambdadelta/apps_2/examples/ex_cpr_omega.ma diff | blob | history
matita/matita/contribs/lambdadelta/apps_2/examples/ex_fpbg_refl.ma diff | blob | history
matita/matita/contribs/lambdadelta/apps_2/models/deq_cpr.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.