Isabelle/DOF Manuals!
  Isabelle_DOF-Manual                       User and Implementation Manual for Isabelle/DOF
  2018-cicm-isabelle_dof-applications       Example academic paper
