projects / helm.git / commit
| author | Enrico Zoli <??> | |
| Fri, 20 Oct 2006 14:28:55 +0000 (14:28 +0000) | ||
| committer | Enrico Zoli <??> | |
| Fri, 20 Oct 2006 14:28:55 +0000 (14:28 +0000) | ||
| commit | 9da5a5054b66ee9264ecccb2af43c2fce3b35e64 | |
| tree | 319e4e38e6f89047bb889f7e23759f95d056e86c | tree | snapshot |
| parent | de383fe5538ca5c5e53fae36229070ba5451c970 | commit | diff |
| matita/dama/integration_algebras.ma | diff | blob | history |