chapter AFP

session Efficient_Weighted_Path_Order = Weighted_Path_Order +
  options [timeout = 600]
  theories
    List_Memo_Functions
  theories
    WPO_Approx
    Indexed_Term
    WPO_Mem_Impl  
  theories
    RPO_Unbounded
    RPO_Mem_Impl 
  document_files
    "root.bib"
    "root.tex"
