summaryrefslogtreecommitdiff
path: root/Bidir.agda
diff options
context:
space:
mode:
authorHelmut Grohne <helmut@subdivi.de>2013-01-09 23:26:46 +0100
committerHelmut Grohne <helmut@subdivi.de>2013-01-10 00:09:03 +0100
commit3badfdc549d717824f72b0c1df35c52e00ce6dbf (patch)
tree2eb6f5f1d0296a9b0a3dae75605e5e37d525fabe /Bidir.agda
parentec47ee14b9154410b7c72fb067671ea79fd71523 (diff)
downloadbidiragda-3badfdc549d717824f72b0c1df35c52e00ce6dbf.tar.gz
add new lemma-checkInsert-lookupM
Suggested by Joachim Breitner.
Diffstat (limited to 'Bidir.agda')
0 files changed, 0 insertions, 0 deletions