]>
author | Enrico Zoli <??> | |
Tue, 24 Oct 2006 16:03:12 +0000 (16:03 +0000) | ||
committer | Enrico Zoli <??> | |
Tue, 24 Oct 2006 16:03:12 +0000 (16:03 +0000) | ||
commit | cd33d17975f92963de9e60cbe9dad34ea288fe63 | |
tree | 5b1dacbdb3ebbcd0506339a01d76a8b55778b23b | tree | snapshot |
parent | e48608cf8160d58a8edcabed54ee04023cc945dc | commit | diff |
helm/software/matita/dama/integration_algebras.ma | diff | blob | history |