src/Doc/Demo_LIPIcs/document/root.bib

Generalised a theorem about Lebesgue integration

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