drop unused param from lemma-map-lookupM-insert
authorHelmut Grohne <helmut@subdivi.de>
Mon, 10 Dec 2012 09:57:50 +0000 (10:57 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Mon, 10 Dec 2012 09:57:50 +0000 (10:57 +0100)
commitb623a3e175a96b9732446a312080fa564ae80f71
treec48a16953aae693ba268022d6082df6e979c5d54
parent68c735629c8e4390b861c94d56c5c7785b4ab179
drop unused param from lemma-map-lookupM-insert
Bidir.agda