]>
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 |