createMenuButtonTranslateTheory :: GInfo -> ButtonMenu GA.NodeValue
createMenuButtonTranslateTheory gi =
  createMenuButton "Translate theory" (translateTheoryOfNode gi) gi
createMenuButtonTranslateTheory :: GInfo -> ButtonMenu GA.NodeValue
createMenuButtonTranslateTheory gi =
  createMenuButton "Translate theory" (translateTheoryOfNode gi) gi
createMenuButtonTranslateTheory gi =
  createMenuButton "Translate theory" (translateTheoryOfNode gi) gi