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)
This branch splits lemma-\notin-lookupM-assoc into an offspring
lemma-lookupM-checkInsert-other in the spirit of lemma-lookupM-insert-other.


Trivial merge