projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 16 Jun 2006 16:06:41 +0000 (16:06 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 16 Jun 2006 16:06:41 +0000 (16:06 +0000) | ||
| commit | f520a046799605f705d0b37ef325ad73744c1afe | |
| tree | ae0754259e80543cd783dbb7ee70c4de8f9941c4 | tree | snapshot |
| parent | 648d1495bb71b72169bc67c78071600b82a5bfda | commit | diff |
| matita/tests/TPTP/elenco_stack_overflow.txt | [new file with mode: 0644] | blob |