diff options
Diffstat (limited to 'handwritten_support/ROOT')
| -rw-r--r-- | handwritten_support/ROOT | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/handwritten_support/ROOT b/handwritten_support/ROOT new file mode 100644 index 0000000..281bd26 --- /dev/null +++ b/handwritten_support/ROOT @@ -0,0 +1,9 @@ +session "Sail-RISC-V" = "Sail" + + options [document = false] + theories + "Riscv_lemmas" + +session "Sail-RISC-V-Duopod" = "Sail" + + options [document = false] + theories + "Riscv_duopod_lemmas" |