projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Tue, 13 Dec 2011 11:12:02 +0000 (11:12 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Tue, 13 Dec 2011 11:12:02 +0000 (11:12 +0000) | ||
| commit | 583977e3d9e646efcaf5b8e956f0407fd3777236 | |
| tree | 51a8f8cf7075ad66106be943adf2b0dce15b8d89 | tree | snapshot |
| parent | 7d6ce585b85cd390b7888a8debfeb1b8aaf93f72 | commit | diff |
| matita/matita/lib/basics/types.ma | diff | blob | history |