diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-09-14 20:41:26 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-09-14 20:41:26 +0200 |
| commit | dd4bbd5d31c003a054f676b859012105be81394b (patch) | |
| tree | 4367222e8836b1f4834b764acf4ae67e194539d7 /CheckInsert.agda | |
| parent | 566d649c300b41df3718cd717fee1bf36d4b04cd (diff) | |
| download | bidiragda-dd4bbd5d31c003a054f676b859012105be81394b.tar.gz | |
employ rewrite in lemma-map-lookupM-assoc
Thanks to Wouter Swierstra for pointing to the keyword.
Diffstat (limited to 'CheckInsert.agda')
0 files changed, 0 insertions, 0 deletions