session Remybase in "src/core" = HOL +
  options [document = false]
  sessions "HOL-Library"
  theories
    "HOL-Library.Word"
    "HOL-Library.Code_Target_Numeral"
    Model
    Compiler
    Native
    Encoding
    Checker

session Remy in src = Remybase +
  options [document = false]
  sessions "HOL-Library"
  theories
    Allocation
    Branches
    Bounds
    X86
    Frontend
    Delivery
    Examples
    Export
