ROOT « isabelle-lib - sail - Formal specification language for ISAs

summary refs log tree commit diff

path: root/isabelle-lib/ROOT

blob: d79b99ba715da4aa96fd19a791b4aaf2a92439ad (plain)

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