populatePathsListBox :: ListBox String
                     -> KnownProvers.KnownProversMap
                     -> IO ()
populatePathsListBox lb prvs = do
  lb # value (Map.keys prvs)
  return ()
populatePathsListBox :: ListBox String
                     -> KnownProvers.KnownProversMap
                     -> IO ()
populatePathsListBox lb prvs = do
  lb # value (Map.keys prvs)
  return ()
populatePathsListBox lb prvs = do
  lb # value (Map.keys prvs)
  return ()