curry-frontend merge requestshttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/merge_requests2022-11-22T10:21:12Zhttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/merge_requests/50Remove some unused imports2022-11-22T10:21:12ZFredrik WieczerkowskiRemove some unused importsSome minor cleanup.Some minor cleanup.