Merge branch feature-shaped into master
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Thu, 3 Apr 2014 06:57:34 +0000 (08:57 +0200)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Thu, 3 Apr 2014 06:57:34 +0000 (08:57 +0200)
Generalizing both Vecs in the type of get to instances of Shaped. Thus allowing
trees and other data structures to be used.


Trivial merge