]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 16f6bb9) | patch
conjecture on antisymmetry of cpr finally closed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 4 Jul 2014 18:08:34 +0000 (18:08 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 4 Jul 2014 18:08:34 +0000 (18:08 +0000)
commit127be10fa95b5b347887241e046d72e432944e61
tree57860de9169106d28f7384fe555a80e610a883c4tree | snapshot
parent16f6bb96f5b619370e67700fbf4aae5abef05c94commit | diff
conjecture on antisymmetry of cpr finally closed
cpr is NOT antisymmetric: call-by-value beta-reduction takes two steps exactly
matita/matita/contribs/lambdadelta/basic_2/examples/ex_cpr_omega.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.