split lemma-union-not-used into lemma-exchange-maps
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Thu, 2 Jul 2015 09:51:37 +0000 (11:51 +0200)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Thu, 2 Jul 2015 09:51:37 +0000 (11:51 +0200)
commitea60af21ae805f2b0921fe591210679935ce6556
tree0e688d1b54e2e8ce78872b2099eb541e52e2ee1b
parent8c3cdca7cfe1173094ff42ca2f844a352153fc97
split lemma-union-not-used into lemma-exchange-maps

New type suggested by Janis Voigtländer.
Bidir.agda
FinMap.agda