remove unused imports
authorHelmut Grohne <helmut@subdivi.de>
Sun, 25 Nov 2018 10:27:39 +0000 (11:27 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Sun, 25 Nov 2018 10:27:39 +0000 (11:27 +0100)
commit7fcd0fde85d545abbdae2265e173650c12d9b4c2
tree5490945ebe8403ed6db0e27720d613767747081d
parenta1f5d673583c353eee32af83c78983aa22527e0a
remove unused imports

These will happen to break with later agda-stdlib releases.
CheckInsert.agda
FinMap.agda