]> matita.cs.unibo.it Git - helm.git/commit
improved lexs_conf, now holds under weaker hypotheses ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 23 Sep 2016 14:55:50 +0000 (14:55 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 23 Sep 2016 14:55:50 +0000 (14:55 +0000)
commit4b1dee70d9f24b47ab1f93cf1e63862b7b71a645
tree1c8af4c3fd20b4485dfec2d73fc68894d3cae9b7
parent664db7cbb56fc1c794a4e61c6c15cee53cc7cf38
improved lexs_conf, now holds under weaker hypotheses ...
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs.ma
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs_lexs.ma
matita/matita/contribs/lambdadelta/ground_2/lib/star.ma