]> matita.cs.unibo.it Git - helm.git/commit
addenda
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 12 Nov 2012 10:04:43 +0000 (10:04 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 12 Nov 2012 10:04:43 +0000 (10:04 +0000)
commitc51ce7b07207bcfc35513a96d3c1f997be89050e
treea9b3d2b489a87e35ccba3550f2197020ab875a5e
parentd2bd006566eb88dbfe22c805a4cc116c49c3dd5c
addenda
matita/matita/lib/basics/vectors.ma