session Remybase = HOL +
  options [document = false]
  sessions "HOL-Library"
  theories
    "HOL-Library.Word"
    "HOL-Library.Code_Target_Numeral"

session Remy in src = Remybase +
  options [document = false]
  sessions "HOL-Library"
  theories
    Model
    Compiler
    Native
    Encoding
    Checker
    Frontend
    Examples
    Export