projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 17 Jun 2005 14:59:59 +0000 (14:59 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 17 Jun 2005 14:59:59 +0000 (14:59 +0000) | ||
| commit | af55e721b611647b5cb7d738441f10e5f1305747 | |
| tree | 4060a33691cc5a5618ccf3dd074c1bad39bb4a13 | tree | snapshot |
| parent | abd9e5cfa8e7b6923e0664a4813a0a842f5c4e76 | commit | diff |
| helm/matita/tests/rewrite.ma | diff | blob | history |