]> matita.cs.unibo.it Git - helm.git/commit
theory of relocation updated .....
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 25 Oct 2015 18:58:13 +0000 (18:58 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 25 Oct 2015 18:58:13 +0000 (18:58 +0000)
commit46815bb7af06b235ead2fd67a4aee2d294b51928
tree6590b1e5978676b0390e8d1bac2126be9964978f
parent952ec5aa2e9a54787acb63a5c8d6fdbf9011ab60
theory of relocation updated .....
matita/matita/contribs/lambdadelta/basic_2/etc_new/drops/drops_drops.etc [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_drop.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts.ma
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_lifts.ma
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_lifts_vector.ma
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_simple.ma
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_vector.ma
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_weight.ma