1 files changed, 5 insertions, 0 deletions
diff --git a/riscv/ROOT b/riscv/ROOT
index cfc7f5bd..ea74bca1 100644
--- a/riscv/ROOT
+++ b/riscv/ROOT
@@ -2,3 +2,8 @@ session "Sail-RISC-V" = "Sail" +
   options [document = false]
   theories
     Riscv_lemmas
+
+session "Sail-RISC-V-Duopod" = "Sail" +
+  options [document = false]
+  theories
+    Riscv_duopod_lemmas