session Gabow_SCC_Modest = Isabelle_LLVM +
  options [browser_info]
  
  sessions
    "HOL-Library"
  
  directories
    lib
    ds
    Gabow_SCC

  theories [document=false]  
    "HOL-Library.Omega_Words_Fun"
    "lib/Base_MEC"
    "lib/More_B_Assn"
    "lib/VC_Solve"
    
    "ds/Stack"
    "ds/Stack_Set"
  
  theories
    "Gabow_SCC/Gabow_SCC_Code"  
    
