diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2013-01-28 12:28:08 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2013-01-28 12:28:08 +0100 |
| commit | a1dc58fcd06028cb968c99a67db4b44bd1abc3d7 (patch) | |
| tree | 2cf2fb32ef675f4b3bba88c26b73b9fd2a23e047 /CheckInsert.agda | |
| parent | 9c20cf71b1136f7461a8a2062c9c9852518fd707 (diff) | |
| download | bidiragda-a1dc58fcd06028cb968c99a67db4b44bd1abc3d7.tar.gz | |
polish lemmata in FinMap
Diffstat (limited to 'CheckInsert.agda')
0 files changed, 0 insertions, 0 deletions