]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 603c8b3) | patch
- main proof case closed in the 4th component of preservation
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 14 Mar 2013 23:06:19 +0000 (23:06 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 14 Mar 2013 23:06:19 +0000 (23:06 +0000)
commit132d053caaeb9f8311fb0c807a9d7fd8d7acc827
treee7ea78521aff9706b7d36c4df013ee3f443f9bfetree | snapshot
parent603c8b3cdab901c26f63b5fed2c65e49693cc9a3commit | diff
- main proof case closed in the 4th component of preservation
- bug fix in Makefile: now both xoa and probe receive both
configuration files
- useless notion lsubss removed (to be replaced by lsubse)
15 files changed:
matita/matita/contribs/lambdadelta/Makefile diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/dxprs_lsubss.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_ltpr.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubss/dxprs_lsubss.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc/lsubss/lsubss.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc/lsubss/lsubss_ldrop.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc/lsubss/lsubss_lsubss.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc/lsubss/lsubss_ssta.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc/lsubss/sstas_lsubss.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/static/lsubss.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/static/lsubss_ldrop.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/static/lsubss_lsubss.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/static/lsubss_ssta.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/unwind/sstas_lsubss.ma [deleted file] 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.