shrink lemma-union-not-used by matching on All's ctor
authorHelmut Grohne <helmut@subdivi.de>
Mon, 14 Jan 2013 13:14:30 +0000 (14:14 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Mon, 14 Jan 2013 13:14:30 +0000 (14:14 +0100)
commit14045101118b9150b19e51f60beb0c3078073f47
tree6957df17183cf03257f8c4be076c40798304b9cf
parent9c2be74a5369c1bdb737a67c7c508cb50c62bd83
shrink lemma-union-not-used by matching on All's ctor
Bidir.agda