]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Tue, 31 Jan 2006 15:50:06 +0000 (15:50 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Tue, 31 Jan 2006 15:50:06 +0000 (15:50 +0000) | ||
commit | 57d038849d866853795522e360723a881c2d4831 | |
tree | e0733aca870f5ee6b81b76f4b258ed4158ea2fb7 | tree | snapshot |
parent | bb55db1e81149b7f3a58c2cd723c096883b66ab4 | commit | diff |
helm/papers/matita/matita.bib | diff | blob | history | |
helm/papers/matita/matita2.bbl | diff | blob | history | |
helm/papers/matita/matita2.tex | diff | blob | history |