session Flow_Networks = Maxflow_Lib +
  options [document = pdf, document_output = "output",
    document_variants = "document:outline=/proof,/ML"]
    
  theories [document = false]
    Graph 
  
  theories
    Network
    Residual_Graph
    Augmenting_Flow
    Augmenting_Path
    Ford_Fulkerson
  
  theories [document = false]
    Graph_Impl
    Network_Impl
    
  document_files
    "root.tex" "root.bib"
    
