]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 075441b) | patch
basic_2: stronger supclosure allows better inversion lemmas
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 22 Sep 2016 13:51:29 +0000 (13:51 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 22 Sep 2016 13:51:29 +0000 (13:51 +0000)
commit325bc2fb36e8f8db99a152037d71332c9ac7eff9
treec33e5ade4de2bc6356dd45c31752379a702c5b60tree | snapshot
parent075441b55fa8a6fa693a1c96ed60ab4d87c42a2dcommit | diff
basic_2: stronger supclosure allows better inversion lemmas
ground_2: more results on sle and sor (rtmap)
14 files changed:
matita/matita/contribs/lambdadelta/basic_2/etc_new/frees_etc.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lfxs_main.etc diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqup_drops.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqus.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqus_drops.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqus_weight.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/s_transition/fqu.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/s_transition/fqu_weight.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/static/frees_fqus.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/static/lfxs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sle.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sor.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.