diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2013-01-09 23:24:58 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2013-01-09 23:24:58 +0100 |
| commit | ec47ee14b9154410b7c72fb067671ea79fd71523 (patch) | |
| tree | f143685dea8d4db96b7a9a27b81a8323b598049e /Precond.agda | |
| parent | 55d4808670b0de9ecc117f81eb61b33b70d63536 (diff) | |
| download | bidiragda-ec47ee14b9154410b7c72fb067671ea79fd71523.tar.gz | |
simplify lemma-lookupM-checkInsert using case-split
Diffstat (limited to 'Precond.agda')
0 files changed, 0 insertions, 0 deletions