]> matita.cs.unibo.it Git - helm.git/commit
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 27 Jun 2003 12:34:44 +0000 (12:34 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 27 Jun 2003 12:34:44 +0000 (12:34 +0000)
commit3b1f8c2a9042fd9aae286262f167272b91016d8e
tree2f94b6da2bb1b047d8be5ad8d3147f2b0cfa255c
parent4a3b0f60b4e7c9808b8552d9fb295ce34be4dddb
...
helm/papers/calculemus-2003/referaggio_hbugs.txt [new file with mode: 0644]
helm/papers/calculemus-2003/referaggio_hbugs_short.txt [new file with mode: 0644]