diff options
Diffstat (limited to 'snapshots/isabelle/aarch64/Aarch64_extras.thy')
| -rw-r--r-- | snapshots/isabelle/aarch64/Aarch64_extras.thy | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/snapshots/isabelle/aarch64/Aarch64_extras.thy b/snapshots/isabelle/aarch64/Aarch64_extras.thy index 7555341b..05647e36 100644 --- a/snapshots/isabelle/aarch64/Aarch64_extras.thy +++ b/snapshots/isabelle/aarch64/Aarch64_extras.thy @@ -1,15 +1,15 @@ -chapter \<open>Generated by Lem from ../aarch64_extras.lem.\<close> +chapter \<open>Generated by Lem from \<open>/auto/homes/tb592/REMS/sail/aarch64/mono/aarch64_extras.lem\<close>.\<close> theory "Aarch64_extras" -imports - Main - "Lem_pervasives_extra" - "Sail2_instr_kinds" - "Sail2_values" - "Sail2_operators_mwords" - "Sail2_prompt_monad" - "Sail2_prompt" +imports + Main + "LEM.Lem_pervasives_extra" + "Sail.Sail2_instr_kinds" + "Sail.Sail2_values" + "Sail.Sail2_operators_mwords" + "Sail.Sail2_prompt_monad" + "Sail.Sail2_prompt" begin |