projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 26 Oct 2022 21:43:23 +0000 (23:43 +0200) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 26 Oct 2022 21:43:23 +0000 (23:43 +0200) | ||
| commit | 4361c5423d10853505f47e6b2794a54a211a0b44 | |
| tree | 5297aeb447bdff1c6abfb955e95b931f52541d9c | tree | snapshot |
| parent | 7008128d354c6e998a87bc2febe9f86ea714869c | commit | diff |
| matita/matita/predefined_virtuals.ml | diff | blob | history |