projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sun, 7 Aug 2022 17:37:11 +0000 (19:37 +0200) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sun, 7 Aug 2022 17:37:11 +0000 (19:37 +0200) | ||
| commit | afb5d82d388986bbeb17a4f114aebbaafc948f93 | |
| tree | 1ba0157f282baa05e68cb2e4f21e2602208c1ac8 | tree | snapshot |
| parent | 084fe5719d41ce13be068050fbade488d4a183ee | commit | diff |
| matita/matita/contribs/lambdadelta/ground/relocation/nap.ma | diff | blob | history | |
| matita/matita/contribs/lambdadelta/ground/relocation/xap.ma | diff | blob | history |