-- show theory of all goals
cShowTheoryGoals :: String -> CmdlState -> IO CmdlState
cShowTheoryGoals input st =
  getInfoFromNodes input (concatMap (\ n -> getGoalThS Do_translate n st)) st
cShowTheoryGoals :: String -> CmdlState -> IO CmdlState
cShowTheoryGoals input st =
  getInfoFromNodes input (concatMap (\ n -> getGoalThS Do_translate n st)) st
cShowTheoryGoals input st =
  getInfoFromNodes input (concatMap (\ n -> getGoalThS Do_translate n st)) st