-- show theory of input nodes
cShowTheory :: CmdlUseTranslation -> String -> CmdlState -> IO CmdlState
cShowTheory useTrans input state =
  getInfoFromNodes input (concatMap (\ n -> getThS useTrans n state)) state
cShowTheory :: CmdlUseTranslation -> String -> CmdlState -> IO CmdlState
cShowTheory useTrans input state =
  getInfoFromNodes input (concatMap (\ n -> getThS useTrans n state)) state
cShowTheory useTrans input state =
  getInfoFromNodes input (concatMap (\ n -> getThS useTrans n state)) state