src/Doc/Demo_EPTCS/document/root.bib

Added "slotted complex plane" material from the Polylog AFP entry

@manual{isabelle-system,
  author = {Makarius Wenzel},
  title = {The {Isabelle} System Manual},
  note = {\url{https://isabelle.in.tum.de/doc/system.pdf}}}