shorten line lengths lemma-union-restrict
authorHelmut Grohne <helmut@subdivi.de>
Thu, 22 Nov 2012 14:20:29 +0000 (15:20 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 22 Nov 2012 14:20:29 +0000 (15:20 +0100)
commite309253739ad0e3d9172e0b29156a5c88bbc9dbb
treed4613832c8edc390fd229e8c1f583b83775af359
parentb9ce912e6a50be76ad2495fb110a79e93c591401
shorten line lengths lemma-union-restrict
FinMap.agda