]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a38c705) | patch
improved "big treee" computation allows to close a case in the
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 8 Mar 2013 13:33:29 +0000 (13:33 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 8 Mar 2013 13:33:29 +0000 (13:33 +0000)
commit7982e65abf88a2fbaa6422debb29121e4c884dd8
tree0f55094734b604f722b81e5b40c40da830e0a972tree | snapshot
parenta38c7053c367734f60dd971de1fe17295271dae6commit | diff
improved "big treee" computation allows to close a case in the
preservation proof
matita/matita/contribs/lambdadelta/basic_2/computation/ygt.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/ygt_ygt.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/yprs.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/computation/yprs_yprs.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_cpcs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_ltpr.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_ssta_ltpr.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/notation.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/reducibility/ypr.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/reducibility/ysc.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.