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