]> matita.cs.unibo.it Git - helm.git/commit
updating the dropable-related definitions with coafter ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 20 Jun 2016 21:39:29 +0000 (21:39 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 20 Jun 2016 21:39:29 +0000 (21:39 +0000)
commit7d99a19985ae7ca20845d0a875e32f23ba06e536
treeaa0ff669926492a1328573fa602bcc7f330371a8
parentda42c465b04bbfc470e73b8060155d1aadd184c5
updating the dropable-related definitions with coafter ...
matita/matita/contribs/lambdadelta/basic_2/relocation/drops.ma
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lexs.ma
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lreq.ma
matita/matita/contribs/lambdadelta/basic_2/static/frees_drops.ma
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_coafter.ma