Quelle  ROOT   Sprache: C

chapter AFP

session Word_Lib = HOL +
  options [timeout = 300]
  sessions
    "HOL-Library"
    "HOL-Eisbach"
  theories [document = false] ― ‹Attempt to just generate word-specific document material›
    Enumeration
    Even_More_List
    Legacy_Aliases
    More_Arithmetic
    More_Divides
    More_Misc
    More_Sublist
  theories
    Bit_Comprehension
    More_Int
    More_Word
    Bit_Shifts_Infix_Syntax
    Next_and_Prev
    Signed_Division_Word
  theories [document = false]
    Many_More
    Singleton_Bit_Shifts
    Typedef_Morphisms
    Bin_sign
  theories
    Bitwise
    Guide
  theories [document = false]
    Examples
  document_files
    "root.tex"
    "root.bib"