projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 9 Jul 2007 09:58:45 +0000 (09:58 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 9 Jul 2007 09:58:45 +0000 (09:58 +0000) | ||
| commit | 630e4146e14848db27b89d1467c5120d46530bce | |
| tree | 74a63f24fc0be569d03f5d17a27a38217c6789dd | tree | snapshot |
| parent | 241dd3fc882e24a1d3a386a9c612aa8fc720abdb | commit | diff |
| matita/tests/multiple_inheritance.ma | diff | blob | history |