]>
author | Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it> | |
Thu, 2 Dec 2021 16:31:43 +0000 (17:31 +0100) | ||
committer | Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it> | |
Thu, 2 Dec 2021 16:31:43 +0000 (17:31 +0100) | ||
commit | 742e21da086654af82f308027250d00b50d67f52 | |
tree | 921b9f1f1788419088dbc6ffd12195f27aca7fce | tree | snapshot |
parent | aefe567225f573b19d341da29fd7a2e6d5ee3105 | commit | diff |
matita/matita/contribs/lambdadelta/ground/relocation/tr_pap.ma | diff | blob | history | |
matita/matita/contribs/lambdadelta/ground/relocation/tr_pap_pat.ma | [new file with mode: 0644] | blob |