projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 5 Sep 2005 15:24:21 +0000 (15:24 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 5 Sep 2005 15:24:21 +0000 (15:24 +0000) | ||
| commit | 4ac4b8de35d8c4167819acf3d876e69cbd3cfb17 | |
| tree | b8f4502d017ce3e8e7b81ff289f8947602b00376 | tree | snapshot |
| parent | 8ab81b212ba36064219d544b115c9aba2f472a5b | commit | diff |
| helm/matita/tests/simpl.ma | diff | blob | history |