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

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