]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Mon, 30 Jan 2006 16:25:46 +0000 (16:25 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Mon, 30 Jan 2006 16:25:46 +0000 (16:25 +0000) | ||
commit | d40dccf9dbf0f1792e0f2cbac3c3b3c8fb0c14cb | |
tree | 1370f15c5ca7d0bf72deb20dfcd8b189020afd3b | tree | snapshot |
parent | 5d86c5b5ef8d3c4b92bd00a1aebdad10143bc58e | commit | diff |
helm/papers/matita/matita2.tex | diff | blob | history |