remove lemma-just≢nothing
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Wed, 15 Oct 2014 08:35:43 +0000 (10:35 +0200)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Wed, 15 Oct 2014 08:35:43 +0000 (10:35 +0200)
commitd2548922c7abb20fee5633be6e654430517555af
tree1d4d3c38c6f0f3b4832cb4d5135f6fea8b7f057a
parentb1b80567288030782231418407e7244b37227450
remove lemma-just≢nothing

Special case of contradiction.
CheckInsert.agda
FinMap.agda