chapter AFP

session Complex_Geometry = "HOL-Analysis" +
  options [timeout = 1200]
  sessions
    "HOL-Library"
  theories
    More_Transcendental
    Canonical_Angle
    More_Complex
    Angles
    More_Set
    Linear_Systems
    Quadratic
    Matrices
    Unitary_Matrices
    Unitary11_Matrices
    Hermitean_Matrices
    Elementary_Complex_Geometry
    Homogeneous_Coordinates
    Moebius
    Circlines
    Oriented_Circlines
    Circlines_Angle
    Unit_Circle_Preserving_Moebius
    Riemann_Sphere
    Chordal_Metric
  document_files
    "root.bib"
    "root.tex"