Merge branch 'newlemma'
authorHelmut Grohne <helmut@subdivi.de>
Thu, 10 Jan 2013 10:18:12 +0000 (11:18 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 10 Jan 2013 10:18:12 +0000 (11:18 +0100)
commit324461eb4184c99c0f1e715c2e65decf3f71a980
tree48b105cf1f30c79c4a9869d954bdeb9c652e30f2
parentec47ee14b9154410b7c72fb067671ea79fd71523
parentd42ffc9d24adb2b416ff73708ae64c1d4ca50c30
Merge branch 'newlemma'

This branch splits lemma-\notin-lookupM-assoc into an offspring
lemma-lookupM-checkInsert-other in the spirit of lemma-lookupM-insert-other.