session "Sail-RISC-V" = "Sail" +
  options [document = false]
  theories
    "Riscv_lemmas"

session "Sail-RISC-V-Duopod" = "Sail" +
  options [document = false]
  theories
    "Riscv_duopod_lemmas"