]> matita.cs.unibo.it Git - helm.git/commit
minor additions ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 28 Mar 2016 16:04:59 +0000 (16:04 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 28 Mar 2016 16:04:59 +0000 (16:04 +0000)
commit50997cb3042073d58c2a16885ef0c82217367e63
tree5570e645c92f02e3a8f0120d924f96209a8b9bcc
parent560e9f41516968588e97bb6ff2049f85a425ac0a
minor additions ...
matita/matita/contribs/lambdadelta/basic_2/etc_new/frees/frees.etc [deleted file]
matita/matita/contribs/lambdadelta/basic_2/etc_new/frees/frees_lreq.etc [deleted file]
matita/matita/contribs/lambdadelta/basic_2/etc_new/llor/llor.etc [deleted file]
matita/matita/contribs/lambdadelta/basic_2/etc_new/llor/llor_alt.etc [deleted file]
matita/matita/contribs/lambdadelta/basic_2/etc_new/llor/llor_drop.etc [deleted file]
matita/matita/contribs/lambdadelta/basic_2/relocation/frees.ma
matita/matita/contribs/lambdadelta/basic_2/relocation/frees_weight.ma