projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sat, 12 Nov 2022 22:21:34 +0000 (23:21 +0100) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sat, 12 Nov 2022 22:21:34 +0000 (23:21 +0100) | ||
| commit | 48cd63fc7f4415925582eae224a36a9c1bb3cc06 | |
| tree | b84fba6783b78134839fa9f43815a19f4ce4e947 | tree | snapshot |
| parent | 8f1a123e61ff079b1f9ad63cc915470ec7e6abf3 | commit | diff |
| matita/matita/contribs/lambdadelta/ground/arith/arith_2a.ma | diff | blob | history | |
| matita/matita/contribs/lambdadelta/ground/arith/pnat_two.ma | [new file with mode: 0644] | blob |