]> matita.cs.unibo.it Git - helm.git/commit
update in ground
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 23 Jan 2022 22:00:06 +0000 (23:00 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 23 Jan 2022 22:00:06 +0000 (23:00 +0100)
commit775ab35f714568dfcd672f0dd53a00e1ba7382cd
tree11075c337f1f0b91e8a6400d85aec297f03d8379
parent56092257aa4be8e6d0ae37ee6590f6d3258b0485
update in ground

+ additions on tr_pap
matita/matita/contribs/lambdadelta/ground/relocation/tr_id_pap.ma
matita/matita/contribs/lambdadelta/ground/relocation/tr_pap_pap.ma
matita/matita/contribs/lambdadelta/ground/relocation/tr_pap_pn.ma
matita/matita/contribs/lambdadelta/ground/relocation/tr_pap_pushs.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl