]>
author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Mon, 20 Dec 2021 18:08:34 +0000 (19:08 +0100) | ||
committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Mon, 20 Dec 2021 18:08:34 +0000 (19:08 +0100) | ||
commit | 04f2f61dbe017ee5a60fd30ae4b6ef355b6e8be4 | |
tree | 2a77c21c049158249fa38324719928534e38b55f | tree | snapshot |
parent | 2e4a7c54ef77c10cb1cef4b59518c473245ea935 | commit | diff |
matita/matita/contribs/lambdadelta/ground/etc/relocation/pstream_after.etc | [deleted file] | blob | history |
matita/matita/contribs/lambdadelta/ground/etc/relocation/pstream_tl.etc | [deleted file] | blob | history |
matita/matita/contribs/lambdadelta/ground/etc/relocation/pstream_tls.etc | [deleted file] | blob | history |
matita/matita/contribs/lambdadelta/ground/relocation/tr_compose.ma | [new file with mode: 0644] | blob |
matita/matita/contribs/lambdadelta/ground/relocation/tr_compose_etc.ma | [new file with mode: 0644] | blob |
matita/matita/contribs/lambdadelta/ground/relocation/tr_compose_pn.ma | [new file with mode: 0644] | blob |
matita/matita/contribs/lambdadelta/ground/relocation/tr_pn_hdtl.ma | [new file with mode: 0644] | blob |
matita/matita/contribs/lambdadelta/ground/relocation/tr_pn_tls.ma | [new file with mode: 0644] | blob |
matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl | diff | blob | history |