projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 5 Oct 2021 22:53:00 +0000 (00:53 +0200) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 5 Oct 2021 22:53:00 +0000 (00:53 +0200) | ||
| commit | cab35e3d6c09d266c1372b5cc9a0045578bae79b | |
| tree | 24e2297c9009a9a1c4372f46340c26e107b1d6fc | tree | snapshot |
| parent | 98e786e1a6bd7b621e37ba7cd4098d4a0a6f8278 | commit | diff |
| matita/matita/contribs/lambdadelta/ground/notation/relations/doteq_4.ma | diff | blob | history |