switch examples to PartialVecVec
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 17 Feb 2014 10:26:02 +0000 (11:26 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 17 Feb 2014 10:26:02 +0000 (11:26 +0100)
commitf2a68d8eb2d5ea6f3c013ec4caaa938a52c28902
treeb7e593c0cc71a1738e8cf8dadaa97e061373835d
parent1561b1288b93c1353972d08e91f02101b2ccebfc
switch examples to PartialVecVec
BFFPlug.agda
Examples.agda