diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-11-22 15:06:21 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-11-22 15:06:21 +0100 |
| commit | b9ce912e6a50be76ad2495fb110a79e93c591401 (patch) | |
| tree | 84a97785e5f3b02cfbfd8abae25c1b61f03e4725 /CheckInsert.agda | |
| parent | 06408f9f1556b1eb88dcf2597e549fc122fdb508 (diff) | |
| download | bidiragda-b9ce912e6a50be76ad2495fb110a79e93c591401.tar.gz | |
shorten line lengths of theorem-2
Diffstat (limited to 'CheckInsert.agda')
0 files changed, 0 insertions, 0 deletions