diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-11-22 15:23:03 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-11-22 15:23:03 +0100 |
| commit | ead32cdaae65f5b87bf0d6a6732239f52450becb (patch) | |
| tree | f90e9b6b6c611e3d528c640b49be2d10dcd12b9c /Bidir.agda | |
| parent | e309253739ad0e3d9172e0b29156a5c88bbc9dbb (diff) | |
| download | bidiragda-ead32cdaae65f5b87bf0d6a6732239f52450becb.tar.gz | |
shorten line length of lemma-lookupM-checkInsert
Diffstat (limited to 'Bidir.agda')
0 files changed, 0 insertions, 0 deletions