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