projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sun, 28 Oct 2012 14:39:27 +0000 (14:39 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sun, 28 Oct 2012 14:39:27 +0000 (14:39 +0000) | ||
| commit | 1f1ea7bb9e6c34626bcabd4c0142fcde98bcbbe5 | |
| tree | 2883b7ed4cf3d27d82605d3be0208f4c8acf36cf | tree | snapshot |
| parent | a04bfe6d381b281db15e8b432f6f221576aad439 | commit | diff |
| matita/matita/predefined_virtuals.ml | diff | blob | history |