diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-24 10:38:28 +0100 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-24 10:38:28 +0100 |
| commit | d0392d237baa5cb5561ea878fb05ddfb597bba90 (patch) | |
| tree | fe0c2e865dc3b30794e87f254f8da66a5ca94627 /Generic.agda | |
| parent | 9f469bf87f42db9de952d6f2b4418acf0895f795 (diff) | |
| download | bidiragda-d0392d237baa5cb5561ea878fb05ddfb597bba90.tar.gz | |
generalize lemma-lookupM-assoc
Diffstat (limited to 'Generic.agda')
0 files changed, 0 insertions, 0 deletions