generalize lemma-lookupM-assoc
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 24 Feb 2014 09:38:28 +0000 (10:38 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 24 Feb 2014 09:38:28 +0000 (10:38 +0100)
commitd0392d237baa5cb5561ea878fb05ddfb597bba90
treefe0c2e865dc3b30794e87f254f8da66a5ca94627
parent9f469bf87f42db9de952d6f2b4418acf0895f795
generalize lemma-lookupM-assoc
Bidir.agda