From fc7003ce00bcf9dd25917588425cc70f3ee140dc Mon Sep 17 00:00:00 2001 From: Thomas Bauereiss Date: Mon, 21 Jan 2019 18:40:28 +0000 Subject: Output auxiliary Isabelle theories into generated_definitions/isabelle Also copy ROOT file into the same directory --- handwritten_support/ROOT | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'handwritten_support') diff --git a/handwritten_support/ROOT b/handwritten_support/ROOT index 5452298..281bd26 100644 --- a/handwritten_support/ROOT +++ b/handwritten_support/ROOT @@ -1,9 +1,9 @@ session "Sail-RISC-V" = "Sail" + options [document = false] theories - "../generated_definitions/lem/Riscv_lemmas" + "Riscv_lemmas" session "Sail-RISC-V-Duopod" = "Sail" + options [document = false] theories - "../generated_definitions/lem/Riscv_duopod_lemmas" + "Riscv_duopod_lemmas" -- cgit v1.1