chapter AFP

session Registers = Complex_Bounded_Operators +
  options [timeout = 1200]
  theories
    Laws_Complement
    Classical_Extra
    Teleport
    Laws_Complement_Quantum
    Pure_States
    Check_Autogenerated_Files
  document_files 
    root.tex
    root.bib
