chapter AFP

session Pushdown_Automata = Context_Free_Grammar +
  options [timeout=300]

  sessions
    Context_Free_Grammar

  theories
    Stack_To_Final_PDA
    Final_To_Stack_PDA
    CFG_To_PDA
    PDA_To_CFG

  document_files
    "root.bib"
    "root.tex"