diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-11-22 15:20:29 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-11-22 15:20:29 +0100 |
| commit | e309253739ad0e3d9172e0b29156a5c88bbc9dbb (patch) | |
| tree | d4613832c8edc390fd229e8c1f583b83775af359 /CheckInsert.agda | |
| parent | b9ce912e6a50be76ad2495fb110a79e93c591401 (diff) | |
| download | bidiragda-e309253739ad0e3d9172e0b29156a5c88bbc9dbb.tar.gz | |
shorten line lengths lemma-union-restrict
Diffstat (limited to 'CheckInsert.agda')
0 files changed, 0 insertions, 0 deletions