]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 25 Oct 2006 09:28:11 +0000 (09:28 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 25 Oct 2006 09:28:11 +0000 (09:28 +0000) | ||
commit | 99431d7f31da2f24195b889e4aa39c297136c8b6 | |
tree | 67c10ccd16fee312b566c2dec481a9084a26aaf0 | tree | snapshot |
parent | 40c2f7eaa04e0baae6933f87260abaa7c2f78dd1 | commit | diff |
helm/software/matita/dama/integration_algebras.ma | diff | blob | history |