one more application of lemma-just\==nnothing
authorHelmut Grohne <helmut@subdivi.de>
Tue, 18 Sep 2012 06:28:08 +0000 (08:28 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Tue, 18 Sep 2012 06:28:08 +0000 (08:28 +0200)
commit511c9d49c5f9dc4e3df11d718bd98a95acc77a7d
tree65ba13c84a25e140698eca8e1655fc4acb1c279d
parent99e4f3024fd5542b6f33ed3b756db6eb97201c39
one more application of lemma-just\==nnothing
CheckInsert.agda