polish lemmata in FinMap
authorHelmut Grohne <helmut@subdivi.de>
Mon, 28 Jan 2013 11:28:08 +0000 (12:28 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Mon, 28 Jan 2013 11:28:08 +0000 (12:28 +0100)
commita1dc58fcd06028cb968c99a67db4b44bd1abc3d7
tree2cf2fb32ef675f4b3bba88c26b73b9fd2a23e047
parent9c20cf71b1136f7461a8a2062c9c9852518fd707
polish lemmata in FinMap
FinMap.agda