]>
author | Enrico Tassi <enrico.tassi@inria.fr> | |
Mon, 2 Oct 2006 15:15:03 +0000 (15:15 +0000) | ||
committer | Enrico Tassi <enrico.tassi@inria.fr> | |
Mon, 2 Oct 2006 15:15:03 +0000 (15:15 +0000) | ||
commit | 289c9b13a539c8f82602614561fae74ddbc1fe77 | |
tree | a0037f0d7f607425c9d4766a918054bf38090660 | tree | snapshot |
parent | fc8c0a2718023695bd5795a72af2d90ea8fe9243 | commit | diff |
matita/tests/TPTP/try.sh | diff | blob | history |