diff options
author | Helmut Grohne <helmut@subdivi.de> | 2013-01-09 23:26:46 +0100 |
---|---|---|
committer | Helmut Grohne <helmut@subdivi.de> | 2013-01-10 00:09:03 +0100 |
commit | 3badfdc549d717824f72b0c1df35c52e00ce6dbf (patch) | |
tree | 2eb6f5f1d0296a9b0a3dae75605e5e37d525fabe /Bidir.agda | |
parent | ec47ee14b9154410b7c72fb067671ea79fd71523 (diff) | |
download | bidiragda-3badfdc549d717824f72b0c1df35c52e00ce6dbf.tar.gz |
add new lemma-checkInsert-lookupM
Suggested by Joachim Breitner.
Diffstat (limited to 'Bidir.agda')
0 files changed, 0 insertions, 0 deletions