]>
author | Enrico Tassi <enrico.tassi@inria.fr> | |
Thu, 21 Sep 2006 15:58:44 +0000 (15:58 +0000) | ||
committer | Enrico Tassi <enrico.tassi@inria.fr> | |
Thu, 21 Sep 2006 15:58:44 +0000 (15:58 +0000) | ||
commit | 871a376a3dc378a17ebdfc290618b8bcaed58ae1 | |
tree | e5d2620fc5ba1186b476b244594685a02fb0988f | tree | snapshot |
parent | 6ce719daef6577d1a83c9e00a6ecc1dc42f17f7f | commit | diff |
helm/software/matita/tests/naiveparamod.ma | [new file with mode: 0644] | blob |