projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 15 Jul 2008 10:16:06 +0000 (10:16 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 15 Jul 2008 10:16:06 +0000 (10:16 +0000) | ||
| commit | aba6841906f09875a5800f58b24862444a1f4baf | |
| tree | 5e56b695077d2398158a184c1662849f2c929cfa | tree | snapshot |
| parent | 8d367045e504f594c280d2c87f906695ef9671ee | commit | diff |
| helm/software/matita/contribs/dama/dama/cprop_connectives.ma | diff | blob | history | |
| helm/software/matita/contribs/dama/dama/models/nat_dedekind_sigma_complete.ma | diff | blob | history |