diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2013-02-01 13:13:01 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2013-02-01 13:13:01 +0100 |
| commit | 9b158c066d8801b6bf4bfb007702a076b017efd3 (patch) | |
| tree | 5e1c4c42a68c7b449e5a359fdd9386d0966e42da /Bidir.agda | |
| parent | df1c4f99c384e2e94c1e05ebf79e29947a6f5d83 (diff) | |
| download | bidiragda-9b158c066d8801b6bf4bfb007702a076b017efd3.tar.gz | |
employ insertionresult in lemma-lookupM-checkInsert
Diffstat (limited to 'Bidir.agda')
0 files changed, 0 insertions, 0 deletions