projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 22 Jun 2022 11:38:45 +0000 (13:38 +0200) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 22 Jun 2022 11:38:45 +0000 (13:38 +0200) | ||
| commit | 9fe8259fe25c35d33490d94612023f10dc70a603 | |
| tree | 7a48907cd803d0cbca1c12273f56aea9bf1b3353 | tree | snapshot |
| parent | d7ff8dcf71f18a17fbf66696f0293cd411c1dbca | commit | diff |
| matita/matita/contribs/lambdadelta/ground/relocation/xap.ma | diff | blob | history |