]>
author | Enrico Tassi <enrico.tassi@inria.fr> | |
Thu, 7 Jul 2005 11:02:44 +0000 (11:02 +0000) | ||
committer | Enrico Tassi <enrico.tassi@inria.fr> | |
Thu, 7 Jul 2005 11:02:44 +0000 (11:02 +0000) | ||
commit | b267219c702ccf60744f8044291ed9da4e80f7fa | |
tree | 461388b7408cdee02594f5870eff49267c26a92d | tree | snapshot |
parent | b62ce94a7d85811d7e843009daf2a52b31993ea7 | commit | diff |
helm/matita/tests/elim.ma | [new file with mode: 0644] | blob |