projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sat, 6 Jan 2007 16:14:06 +0000 (16:14 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sat, 6 Jan 2007 16:14:06 +0000 (16:14 +0000) | ||
| commit | 2f857bf7f4d1bb73d08d270af9d7ad36a365a3c4 | |
| tree | f59043029451a3a52ea0168061f310561f442513 | tree | snapshot |
| parent | aa23ff72aefbc2ec98a1f12607fab05100a7f41d | commit | diff |
| matita/contribs/RELATIONAL/NLE/fwd.ma | diff | blob | history | |
| matita/contribs/RELATIONAL/NLE/props.ma | diff | blob | history |