]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c0bcdf6) | patch
third commutation property on lazy equivalence for
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 4 Dec 2013 15:39:09 +0000 (15:39 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 4 Dec 2013 15:39:09 +0000 (15:39 +0000)
commitb8f75cf1edd563b23dd315386e0cd7eb7b8fc523
treec97aac07cc6af5243b869d04d7996e55cecd5a15tree | snapshot
parentc0bcdf6e5f2348725d2f13ec1c0677a9c21df206commit | diff
third commutation property on lazy equivalence for
local environments proved, multistep version
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_lleq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc/leq/leq_old.etc diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx_lleq.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.