session "Sail" = "LEM" +
  options [document = false]
  theories
    Sail_values
    State
    Prompt
    Sail_operators

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

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