port theorem-{1,2} to PartialShapeVec
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 10 Mar 2014 08:31:57 +0000 (09:31 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 10 Mar 2014 08:31:57 +0000 (09:31 +0100)
commit3532b34beabbaa6967fe660385c4b4036493a8f1
treea3e9b9bc35c9df934f62bfd4df399c3eda7bd531
parentdab051e89bbe904587a047d239e79610554d5c91
port theorem-{1,2} to PartialShapeVec
Bidir.agda
Instances.agda