chapter AFP
session Superposition_Calculus = Saturation_Framework_Extensions +
  options [timeout = 1800]
  sessions
    First_Order_Clause
    Saturation_Framework
    Saturation_Framework_Extensions
  theories
    Ground_Superposition_Completeness
    Ground_Superposition_Soundness
    IsaFoR_Ground_Superposition_Compatibility
    Typed_Ground_Superposition

    Superposition_Completeness
    Superposition_Soundness
    Superposition_Welltypedness_Preservation
    Superposition_Alternative_Rules
    Untyped_Superposition_Completeness
    Untyped_Superposition_Soundness

    Monomorphic_Superposition
    Sorted_Terms_Superposition
    Superposition_Example
  document_files
    "root.bib"
    "root.tex"
