chapter AFP

session AI_Planning_Languages_Semantics = HOL +
  description \<open>AI Planning Languages Semantics and Validation\<close>
  options [timeout = 900]
  sessions
    "HOL-Library"
    "Certification_Monads"
    "Show"
    "Containers"
    "Propositional_Proof_Systems"
  theories [document = false]
    "HOL-Library.Code_Target_Nat"
    "HOL-Library.Monad_Syntax"
    "HOL-Library.Char_ord"
    "HOL-Library.Code_Target_Nat"
    "HOL-Library.Rewrite"
    "Certification_Monads.Error_Monad"
    "Show.Show"
    "HOL-Library.Rewrite"
    "Containers.Containers"
  theories [document = false]
    Error_Monad_Add
    Option_Monad_Add
  theories
    SASP_Semantics
    SASP_Checker
    PDDL_STRIPS_Semantics
    PDDL_STRIPS_Checker
    Lifschitz_Consistency
  document_files
    "root.tex"
    "root.bib"
