session "Sail" = "LEM" +
  options [document = false]
  theories
    Sail_values_lemmas
    Prompt
    State_lemmas
    Sail_operators_mwords
    Sail_operators_bitlists

(*session "Sail" = "Sail_Base" +
  options [document = false]
  theories
    Sail_operators

session "Sail_Word" = "Sail_Base" +
  options [document = false]
  theories
    Sail_operators_mwords*)