diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2013-01-10 11:18:12 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2013-01-10 11:18:12 +0100 |
| commit | 324461eb4184c99c0f1e715c2e65decf3f71a980 (patch) | |
| tree | 48b105cf1f30c79c4a9869d954bdeb9c652e30f2 /Precond.agda | |
| parent | ec47ee14b9154410b7c72fb067671ea79fd71523 (diff) | |
| parent | d42ffc9d24adb2b416ff73708ae64c1d4ca50c30 (diff) | |
| download | bidiragda-324461eb4184c99c0f1e715c2e65decf3f71a980.tar.gz | |
Merge branch 'newlemma'
This branch splits lemma-\notin-lookupM-assoc into an offspring
lemma-lookupM-checkInsert-other in the spirit of lemma-lookupM-insert-other.
Diffstat (limited to 'Precond.agda')
0 files changed, 0 insertions, 0 deletions