projects / helm.git / commit
| author | Cosimo Oliboni <??> | |
| Thu, 21 Jan 2010 11:49:45 +0000 (11:49 +0000) | ||
| committer | Cosimo Oliboni <??> | |
| Thu, 21 Jan 2010 11:49:45 +0000 (11:49 +0000) | ||
| commit | 67dcf461383d4811fe2a2fb60d384804067dbc71 | |
| tree | 34efc6333bfb79bd6c3cb35ddd4772549af8d184 | tree | snapshot |
| parent | 6686ac3a4671abce7c053c9fee7696eeb2182583 | commit | diff |
| helm/software/matita/contribs/ng_assembly/common/theory.ma | diff | blob | history |