]> matita.cs.unibo.it Git - helm.git/commit
update in ground
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 19 Dec 2022 22:16:18 +0000 (23:16 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 19 Dec 2022 22:16:18 +0000 (23:16 +0100)
commit73cc0c523c5264f2883c25f6735be325e5cfd1da
tree1ef3616493b6c0cfec69a20d085a6056db0ad803
parent345b9054da93e11139d3dfe07f83e444e3022fc1
update in ground

+ some renaming
matita/matita/contribs/lambdadelta/ground/relocation/tr_compose_pap.ma
matita/matita/contribs/lambdadelta/ground/relocation/tr_compose_tls.ma
matita/matita/contribs/lambdadelta/ground/relocation/tr_pap.ma
matita/matita/contribs/lambdadelta/ground/relocation/tr_pap_eq.ma
matita/matita/contribs/lambdadelta/ground/relocation/tr_pap_tls.ma