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 | 4a8716e06131e53392eab754f859eb01fc02fdde | |
| tree | 7a77d0f54d87f487f9089a9ac6144f98546e10f2 | tree | snapshot |
| parent | f191d93bf9aedec0b57ce1a452cab8d5d9abbd12 | commit | diff |
| helm/software/matita/contribs/RELATIONAL/NLE/fwd.ma | diff | blob | history | |
| helm/software/matita/contribs/RELATIONAL/NLE/props.ma | diff | blob | history |