projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sat, 8 Sep 2007 23:40:19 +0000 (23:40 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sat, 8 Sep 2007 23:40:19 +0000 (23:40 +0000) | ||
| commit | 300ab2c8e9300f3479e029115c48f31bc537c96c | |
| tree | 7a8b81780cd2d1234e36c96f67a0f120ea6977cb | tree | snapshot |
| parent | a3f4c0a8b4328cb9a9fe3b4c2e577be2a258675c | commit | diff |
| matita/tests/coercions.ma | diff | blob | history |