port precondition to PartialShapeVec
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 10 Mar 2014 08:39:16 +0000 (09:39 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 10 Mar 2014 08:39:16 +0000 (09:39 +0100)
commit2472958f099a2535cf4fba93e68b91ea164a0295
tree22b6875a1bcd380057d6882711d0ba31b3ff5e44
parent3532b34beabbaa6967fe660385c4b4036493a8f1
port precondition to PartialShapeVec
Precond.agda