getThS :: CmdlUseTranslation -> Int -> CmdlState -> [String]
getThS useTrans x state =
  case getTh useTrans x state of
    Nothing -> ["Could not find a theory"]
    Just th -> [showDoc th "\n"]
getThS :: CmdlUseTranslation -> Int -> CmdlState -> [String]
getThS useTrans x state =
  case getTh useTrans x state of
    Nothing -> ["Could not find a theory"]
    Just th -> [showDoc th "\n"]
getThS useTrans x state =
  case getTh useTrans x state of
    Nothing -> ["Could not find a theory"]
    Just th -> [showDoc th "\n"]