chapter AFP

session Multi_Party_Computation = Game_Based_Crypto +
  options [timeout = 1200]
  sessions 
    "HOL-Number_Theory"
  theories
    Cyclic_Group_Ext
    Number_Theory_Aux
    Uniform_Sampling
    Semi_Honest_Def
    OT_Functionalities
    ETP
    ETP_OT
    ETP_RSA_OT
    Noar_Pinkas_OT
    OT14
    GMW
    Secure_Multiplication
    DH_Ext
    Malicious_Defs
    Malicious_OT
  document_files
    "root.bib"
    "root.tex"
