]> matita.cs.unibo.it Git - helm.git/commit
work in progress on frees_drops
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 6 Jun 2016 20:20:44 +0000 (20:20 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 6 Jun 2016 20:20:44 +0000 (20:20 +0000)
commit926796df5884453d8f0cf9f294d7776d469ef45b
tree774cb61d92545d4a7ccb6504008909866e7cd667
parente06774421eb3b8f4438a6876cc1ab4262ef16f6e
work in progress on frees_drops
matita/matita/contribs/lambdadelta/basic_2/relocation/drops.ma
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts.ma
matita/matita/contribs/lambdadelta/basic_2/static/frees_drops.ma
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_at.ma
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_coafter.ma
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_isfin.ma