]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e0e006) | patch
non-recursive alternative of llpx_sn completed !
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 24 May 2014 17:17:47 +0000 (17:17 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 24 May 2014 17:17:47 +0000 (17:17 +0000)
commit87fbbf33fcc2ed91cc8b8a08e1c378ef49ac723d
tree0bd279c4c263f101da8c59589c142ffe7c387aa4tree | snapshot
parent0e0e006b0bbb19b39c9a069efb8326a861021bb3commit | diff
non-recursive alternative of llpx_sn completed !
matita/matita/contribs/lambdadelta/basic_2/substitution/cofrees.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/substitution/cofrees_alt.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_alt.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_alt_rec.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_alt.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_alt1.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_alt2.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_alt_rec.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.