createMenuButtonShowProofStatusOfNode :: GInfo -> ButtonMenu GA.NodeValue
createMenuButtonShowProofStatusOfNode gi =
  createMenuButton "Show proof status" (showProofStatusOfNode gi) gi
createMenuButtonShowProofStatusOfNode :: GInfo -> ButtonMenu GA.NodeValue
createMenuButtonShowProofStatusOfNode gi =
  createMenuButton "Show proof status" (showProofStatusOfNode gi) gi
createMenuButtonShowProofStatusOfNode gi =
  createMenuButton "Show proof status" (showProofStatusOfNode gi) gi