]> matita.cs.unibo.it Git - helm.git/commit
library ==> component
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 18 Jan 2006 14:09:13 +0000 (14:09 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 18 Jan 2006 14:09:13 +0000 (14:09 +0000)
commit0934df282c5a661213df1962e678d9b9b95fee50
tree9c33f2897ac883006506c76a5332d90e76cd76c7
parentff4f8bef029d1c55b2e50c5635b0ca98c967d9ff
library ==> component
helm/papers/matita/matita2.tex