]> matita.cs.unibo.it Git - helm.git/commit
- one conjecture closed on lsubf
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 21 Oct 2017 18:25:40 +0000 (18:25 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 21 Oct 2017 18:25:40 +0000 (18:25 +0000)
commit86d7622f88247d83b2c366a722d2994a4af91929
treebff41cb05ab59a77dcdec9de62b7a98045411264
parentb7de6afb9d3260ffea86ddf824e497419e1b56fb
- one conjecture closed on lsubf
- some renaming in rtmap_sor
matita/matita/contribs/lambdadelta/basic_2/static/frees_fqup.ma
matita/matita/contribs/lambdadelta/basic_2/static/lsubf.ma
matita/matita/contribs/lambdadelta/basic_2/static/lsubf_frees.ma
matita/matita/contribs/lambdadelta/basic_2/static/lsubf_lsubf.ma
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_coafter.ma
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sor.ma