projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 24 Oct 2013 22:02:30 +0000 (22:02 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 24 Oct 2013 22:02:30 +0000 (22:02 +0000) | ||
| commit | a1ab7fffffac6d1780ce8f712f4622bbe35c3cdf | |
| tree | e7412e62735ceea0dc19006224a511b5faf074d2 | tree | snapshot |
| parent | 927c2df92f636c6bdfd358e4c3c430ce98755bc7 | commit | diff |
| matita/matita/predefined_virtuals.ml | diff | blob | history |