chapter AFP

session "Crypto_Standards" = "HOL-Number_Theory" +
  description
    "Translations of and supporting theories for a collection of crytographic standards."
  options [timeout = 7200]
  sessions 
    "Elliptic_Curves_Group_Law"
    "HOL-Library"
    "HOL-Decision_Procs"
  theories
    Crypto_Standards
    Test_Vectors
  document_files
    "root.tex"
    
