]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Mon, 30 Oct 2006 18:03:04 +0000 (18:03 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Mon, 30 Oct 2006 18:03:04 +0000 (18:03 +0000) | ||
commit | cb396220683593906f2331a6b471434428a6370f | |
tree | d26a2cc7f40b170677cbdfc3c6abc546b3e5f153 | tree | snapshot |
parent | 4cc970d00483c8c2a0a26cba3296bf855be01ed7 | commit | diff |
helm/software/matita/dama/integration_algebras.ma | diff | blob | history |