cShowNodeUnprovenGoals :: String -> CmdlState -> IO CmdlState
cShowNodeUnprovenGoals =
  cShowFromNode (\ s -> not (isAxiom s) && not (isProvenSenStatus s))
cShowNodeUnprovenGoals :: String -> CmdlState -> IO CmdlState
cShowNodeUnprovenGoals =
  cShowFromNode (\ s -> not (isAxiom s) && not (isProvenSenStatus s))
cShowNodeUnprovenGoals =
  cShowFromNode (\ s -> not (isAxiom s) && not (isProvenSenStatus s))