chapter AFP

session FaradzevRead (AFP) = HOL +
  options [quick_and_dirty, document = pdf, document_output = "output", document_variants="document:outline=/proof,/ML"]
  sessions
    "HOL-Library"
    "HOL-Word"
    "Native_Word"
  theories
    More_List
    More_List_Lexord
    More_Multiset
    More_Relation
    List_Lexorder_gt
    Combinatorics
    Canon_Least_Perm
    Bit_Operations
    Faradzev_Read
    FamilyAbs
    FamilyImpl
    Family_Impl_Bits
    Graph
    Partitions
    Faradzev_Read_Graph
  document_files
    "root.bib"
    "root.tex"
