prove lemma-union-generate
authorHelmut Grohne <helmut@subdivi.de>
Thu, 9 Feb 2012 14:08:36 +0000 (15:08 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 9 Feb 2012 14:08:36 +0000 (15:08 +0100)
commitaf1cc6bc8685515ffbf269e420449219a105301c
treedc54387a8776c06bbcf10e7670653586cc5649a0
parente0f83c9ca1816a4c0b3c030bb2cd562156311ecd
prove lemma-union-generate
Bidir.agda
FinMap.agda