projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 10 Jul 2009 16:10:54 +0000 (16:10 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 10 Jul 2009 16:10:54 +0000 (16:10 +0000) | ||
| commit | 448920d42f3f7886d27477281b22f0c11771d4ed | |
| tree | c417bacff5d2e54e408f81ded011a3d6fc800389 | tree | snapshot |
| parent | d8c297847d28b8648c1b3728d5763112ae6472ad | commit | diff |
| helm/software/matita/tests/ng_coercions.ma | diff | blob | history |