simplify lemma-lookupM-checkInsert using case-split
authorHelmut Grohne <helmut@subdivi.de>
Wed, 9 Jan 2013 22:24:58 +0000 (23:24 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Wed, 9 Jan 2013 22:24:58 +0000 (23:24 +0100)
commitec47ee14b9154410b7c72fb067671ea79fd71523
treef143685dea8d4db96b7a9a27b81a8323b598049e
parent55d4808670b0de9ecc117f81eb61b33b70d63536
simplify lemma-lookupM-checkInsert using case-split
CheckInsert.agda