shrink base case of lemma-/notin-lookupM-assoc
authorHelmut Grohne <helmut@subdivi.de>
Sat, 5 Jan 2013 09:41:37 +0000 (10:41 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Sat, 5 Jan 2013 09:41:37 +0000 (10:41 +0100)
commit0a5bb4e9d223f74858d8d9022f1169852899e81a
tree3692d003d162100cded0ecd6a613727572954b1e
parent06e16ec6a913f216ef43a3a32e7094c6e83d40ef
shrink base case of lemma-/notin-lookupM-assoc
Bidir.agda