projects / helm.git / commit
| author | Cosimo Oliboni <??> | |
| Wed, 12 Aug 2009 02:11:23 +0000 (02:11 +0000) | ||
| committer | Cosimo Oliboni <??> | |
| Wed, 12 Aug 2009 02:11:23 +0000 (02:11 +0000) | ||
| commit | 1d8389a897e804825909cc84640e0d5c5f58e543 | |
| tree | e6e3626ad155678966d32021a491f5ee032d67be | tree | snapshot |
| parent | 9dc61a4f11210bccf34f63f48968afca4261c1b4 | commit | diff |
| helm/software/matita/contribs/ng_assembly/common/meta_type.ma | diff | blob | history | |
| helm/software/matita/contribs/ng_assembly/common/theory.ma | diff | blob | history |