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 | 8708dbb34dd176f6a4e750e60375928af17051fa | |
| tree | 2f62bd8876eb263b8b5fd2e1f4e1225235109eb4 | tree | snapshot |
| parent | da24d2539c2a1acf1f132d297d26f23a9dd6c18d | commit | diff |
| helm/software/matita/tests/coercions.ma | diff | blob | history |