FinMap: lemma-lookupM-restrict drop useless implicit
authorHelmut Grohne <helmut@subdivi.de>
Thu, 19 Apr 2012 09:58:40 +0000 (11:58 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 19 Apr 2012 09:58:40 +0000 (11:58 +0200)
commitfcf8bd5d0530dd6b05ba5c2931a66171b823e651
treeb0e7bb8582dc2c46a80f3417c5572e81deb39008
parent7c3e2c61e55aa876f88fbd34c94ccfb0a8c715d4
FinMap: lemma-lookupM-restrict drop useless implicit
FinMap.agda