lemma-2: do not confuse lookup with lookupM
authorHelmut Grohne <helmut@subdivi.de>
Fri, 27 Apr 2012 18:53:05 +0000 (20:53 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Fri, 27 Apr 2012 18:53:05 +0000 (20:53 +0200)
commitddb751df76c004d788ed09c3ed54c562c99afb7b
tree8f99c34cd4f2ad3d8ffc8f64291e5018ac4968a8
parentcab5a60cefea9ca03dbdde0a4a33cec20aaeabf6
lemma-2: do not confuse lookup with lookupM

Even though they are the same.
Bidir.agda