add convenience members to PartialVecVec.Get
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Tue, 4 Feb 2014 09:52:49 +0000 (10:52 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Tue, 4 Feb 2014 09:52:49 +0000 (10:52 +0100)
commit20c176d383e59a0345f7425c5f14679906159a59
treea2874cac4922670c6d8e8229c24b56a725c11dda
parent257665f2910296c6e87113d2f7a418e1f83b33f6
add convenience members to PartialVecVec.Get
BFF.agda
Bidir.agda
GetTypes.agda
Precond.agda