move lemma-just!=nothing to FinMap and use it there
authorHelmut Grohne <helmut@subdivi.de>
Thu, 19 Apr 2012 09:52:27 +0000 (11:52 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 19 Apr 2012 09:52:27 +0000 (11:52 +0200)
commit7c3e2c61e55aa876f88fbd34c94ccfb0a8c715d4
treeda62a6b97b8744c0bb7b9067b9007a8960004246
parentdabd8455638d0cea486dd94dcdd13729077018d7
move lemma-just!=nothing to FinMap and use it there
Bidir.agda
FinMap.agda