remove lemma-lookupM-insert-other in favour of lookup∘update′
[~helmut/bidiragda.git] / LICENSE
2015-08-11 Helmut Grohnedeclare copyright and license