]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2 due to previous update in grond_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 10 Oct 2017 20:43:56 +0000 (20:43 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 10 Oct 2017 20:43:56 +0000 (20:43 +0000)
commit6386442a6850f86fe24a16871b84961fd2aee47c
tree255873c847b22914ac30acbfa4b605a541247ccf
parentf16bf89d854b0c2658d6c622ef5f2bcb8a3cd45a
update in basic_2 due to previous update in grond_2
matita/matita/contribs/lambdadelta/Makefile
matita/matita/contribs/lambdadelta/basic_2/static/frees_drops.ma
matita/matita/contribs/lambdadelta/basic_2/static/frees_fqup.ma
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq.ma