rewrite checkInsert using "... |" notation
authorHelmut Grohne <helmut@subdivi.de>
Fri, 2 Nov 2012 14:19:40 +0000 (15:19 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Fri, 2 Nov 2012 14:19:40 +0000 (15:19 +0100)
commitb1ff726734b60d82270fb77a0bdc70ecea20a9b5
tree68a281588c219a594bed88b6b0a91e2b982ca7c4
parent2d58e07b44098b13cbdb2da83e8fcc6b33616ac9
rewrite checkInsert using "... |" notation

Less characters => more readable.
CheckInsert.agda