fix wrong function name in lemma-2
authorHelmut Grohne <helmut@subdivi.de>
Fri, 16 Mar 2012 10:41:44 +0000 (11:41 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Fri, 16 Mar 2012 10:41:44 +0000 (11:41 +0100)
commit2759f0dd1c48bc2976ce5be55ee10c9f0660da6d
tree9582906e25d07d9da4bfacdd415150d43cfdb87b
parent0a761e5511e700dad236ee70bcdaf69c7de700f0
fix wrong function name in lemma-2

lookup and lookupM reference the same function, but serve different
purposes.
Bidir.agda