diff options
Diffstat (limited to 'snapshots/isabelle/cheri/Mips_extras.thy')
| -rw-r--r-- | snapshots/isabelle/cheri/Mips_extras.thy | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/snapshots/isabelle/cheri/Mips_extras.thy b/snapshots/isabelle/cheri/Mips_extras.thy index 387b5ea7..6cabcef9 100644 --- a/snapshots/isabelle/cheri/Mips_extras.thy +++ b/snapshots/isabelle/cheri/Mips_extras.thy @@ -1,16 +1,16 @@ -chapter \<open>Generated by Lem from /tmp/sail/mips/mips_extras.lem.\<close> +chapter \<open>Generated by Lem from \<open>/auto/homes/tb592/REMS/sail/mips/mips_extras.lem\<close>.\<close> theory "Mips_extras" -imports - Main - "Lem_pervasives" - "Lem_pervasives_extra" - "Sail2_instr_kinds" - "Sail2_values" - "Sail2_prompt_monad" - "Sail2_prompt" - "Sail2_operators" +imports + Main + "LEM.Lem_pervasives" + "LEM.Lem_pervasives_extra" + "Sail.Sail2_instr_kinds" + "Sail.Sail2_values" + "Sail.Sail2_prompt_monad" + "Sail.Sail2_prompt" + "Sail.Sail2_operators" begin |