]>
author | Enrico Zoli <??> | |
Mon, 16 Oct 2006 16:49:51 +0000 (16:49 +0000) | ||
committer | Enrico Zoli <??> | |
Mon, 16 Oct 2006 16:49:51 +0000 (16:49 +0000) | ||
commit | 90e10129b522bd9058f69d268b7c72dfd80479d9 | |
tree | 7e936f3816702d16a137a4666e06d0275e85a330 | tree | snapshot |
parent | 3bd924d184cda530c75cbbc6b6afcdfe91080e71 | commit | diff |
helm/software/matita/dama/integration_algebras.ma | [new file with mode: 0644] | blob |