employ rewrite in lemma-map-lookupM-assoc
authorHelmut Grohne <helmut@subdivi.de>
Fri, 14 Sep 2012 18:41:26 +0000 (20:41 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Fri, 14 Sep 2012 18:41:26 +0000 (20:41 +0200)
commitdd4bbd5d31c003a054f676b859012105be81394b
tree4367222e8836b1f4834b764acf4ae67e194539d7
parent566d649c300b41df3718cd717fee1bf36d4b04cd
employ rewrite in lemma-map-lookupM-assoc

Thanks to Wouter Swierstra for pointing to the keyword.
Bidir.agda