projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sat, 7 Jul 2007 11:34:18 +0000 (11:34 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sat, 7 Jul 2007 11:34:18 +0000 (11:34 +0000) | ||
| commit | 241dd3fc882e24a1d3a386a9c612aa8fc720abdb | |
| tree | a9f6d4b30408bf8d80237629486420a97a1a8e64 | tree | snapshot |
| parent | bb9aa02b52977c05fe678a4e15bfc64e27c2c5f5 | commit | diff |
| matita/library/assembly/assembly.ma | diff | blob | history |