projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 5 Sep 2006 08:59:12 +0000 (08:59 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 5 Sep 2006 08:59:12 +0000 (08:59 +0000) | ||
| commit | e672173c8cb8fbf4abb53130014c2e5a19926af6 | |
| tree | 0d12160b00ed3ef1e48b9ebba28e86078d16ecff | tree | snapshot |
| parent | 7cb659c0af2d665c649f87922be02eccde795542 | commit | diff |
| matita/tests/coercions.ma | diff | blob | history |