chapter AFP

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