projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sun, 21 Aug 2022 22:44:42 +0000 (00:44 +0200) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sun, 21 Aug 2022 22:44:42 +0000 (00:44 +0200) | ||
| commit | 6e4f8f6dc7ab7cdc0d9d852f6786947d3c4513cc | |
| tree | a70567204aca9321c2a75113b2b329d8fd104c3e | tree | snapshot |
| parent | b1c5b3370653db6e495bbf6b3799cba592746cdd | commit | diff |
| matita/matita/predefined_virtuals.ml | diff | blob | history |