drop the insert- prefix from the insertionresult ctors
authorHelmut Grohne <helmut@subdivi.de>
Mon, 28 Jan 2013 12:58:30 +0000 (13:58 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Mon, 28 Jan 2013 12:58:30 +0000 (13:58 +0100)
commitdf1c4f99c384e2e94c1e05ebf79e29947a6f5d83
treeb658dd84b9c15ceef318aefb8c6b0b0f0f8e65ee
parenta1dc58fcd06028cb968c99a67db4b44bd1abc3d7
drop the insert- prefix from the insertionresult ctors
Bidir.agda
CheckInsert.agda