]>
author | Enrico Zoli <??> | |
Tue, 24 Oct 2006 14:10:08 +0000 (14:10 +0000) | ||
committer | Enrico Zoli <??> | |
Tue, 24 Oct 2006 14:10:08 +0000 (14:10 +0000) | ||
commit | e48608cf8160d58a8edcabed54ee04023cc945dc | |
tree | bb41a155e1720186e516cdd0ec6f887088eb4b46 | tree | snapshot |
parent | 2e4a77477a9b809d9c1197e0693d2cdd43258570 | commit | diff |
helm/software/matita/dama/integration_algebras.ma | diff | blob | history |