generalize lemma-union-not-used
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 17 Oct 2014 13:36:45 +0000 (15:36 +0200)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 17 Oct 2014 13:36:45 +0000 (15:36 +0200)
commit58bce3d887d1e5fef24254098819dd09e900fb4c
tree97479d42264538ec648fba64b95c4be686dbd447
parent71c4040262bd1c0ac5962425ee4b3bb3b51cc93b
generalize lemma-union-not-used
Bidir.agda