shorten line length of lemma-lookupM-checkInsert
authorHelmut Grohne <helmut@subdivi.de>
Thu, 22 Nov 2012 14:23:03 +0000 (15:23 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 22 Nov 2012 14:23:03 +0000 (15:23 +0100)
commitead32cdaae65f5b87bf0d6a6732239f52450becb
treef90e9b6b6c611e3d528c640b49be2d10dcd12b9c
parente309253739ad0e3d9172e0b29156a5c88bbc9dbb
shorten line length of lemma-lookupM-checkInsert
CheckInsert.agda