complete the yes part of lemma-checkInsert-generate using inspect
authorHelmut Grohne <helmut@subdivi.de>
Thu, 26 Jan 2012 10:45:06 +0000 (11:45 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 26 Jan 2012 10:45:06 +0000 (11:45 +0100)
commit024635440449c8249cdff9d5637fcb7e02b5d293
treeac6e83c2ca80c1b41bb24154274b0d4f4dc54b6c
parent90d67cb200626cdb0eb4ead36278af8119dfe661
complete the yes part of lemma-checkInsert-generate using inspect
Bidir.agda