diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-04-27 20:53:05 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-04-27 20:53:05 +0200 |
| commit | ddb751df76c004d788ed09c3ed54c562c99afb7b (patch) | |
| tree | 8f99c34cd4f2ad3d8ffc8f64291e5018ac4968a8 /CheckInsert.agda | |
| parent | cab5a60cefea9ca03dbdde0a4a33cec20aaeabf6 (diff) | |
| download | bidiragda-ddb751df76c004d788ed09c3ed54c562c99afb7b.tar.gz | |
lemma-2: do not confuse lookup with lookupM
Even though they are the same.
Diffstat (limited to 'CheckInsert.agda')
0 files changed, 0 insertions, 0 deletions