chapter AFP

session Amortized_Complexity = "HOL-Library" +
  options [timeout = 600]
  sessions
    "HOL-Data_Structures"
    Pairing_Heap
    Skew_Heap
    Splay_Tree
  theories
    Amortized_Framework0
    Amortized_Examples
    Skew_Heap_Analysis
    Splay_Tree_Analysis
    Splay_Tree_Analysis_Optimal
    Splay_Heap_Analysis
    Pairing_Heap_Tree_Analysis
    Pairing_Heap_Tree_Analysis2
    Pairing_Heap_List1_Analysis
    Pairing_Heap_List1_Analysis1
    Pairing_Heap_List1_Analysis2
    Pairing_Heap_List2_Analysis
  document_files
    "root.tex"
    "root.bib"