populateAxiomsList :: ListBox String
    -> ProofState
    -> IO ()
populateAxiomsList lbAxs s = do
       lbAxs # value (toAxioms s)
       return ()
populateAxiomsList :: ListBox String
    -> ProofState
    -> IO ()
populateAxiomsList lbAxs s = do
       lbAxs # value (toAxioms s)
       return ()
populateAxiomsList lbAxs s = do
       lbAxs # value (toAxioms s)
       return ()