diff options
| author | Thomas Bauereiss | 2018-08-29 15:35:44 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-08-29 15:35:44 +0100 |
| commit | 07e3591e2427db2d9407d554ac57984ca566c6ed (patch) | |
| tree | 9fdd56300b7b0fde4ddecfaed2587bb937cb69ff /snapshots/isabelle/lib/lem/Lem_machine_word.thy | |
| parent | 6860b871787df1341c94f4239904fef1743f8625 (diff) | |
Updated snapshots for Isabelle 2018
Diffstat (limited to 'snapshots/isabelle/lib/lem/Lem_machine_word.thy')
| -rw-r--r-- | snapshots/isabelle/lib/lem/Lem_machine_word.thy | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/snapshots/isabelle/lib/lem/Lem_machine_word.thy b/snapshots/isabelle/lib/lem/Lem_machine_word.thy index 85323bb2..d05e3876 100644 --- a/snapshots/isabelle/lib/lem/Lem_machine_word.thy +++ b/snapshots/isabelle/lib/lem/Lem_machine_word.thy @@ -1,15 +1,15 @@ -chapter \<open>Generated by Lem from machine_word.lem.\<close> +chapter \<open>Generated by Lem from \<open>machine_word.lem\<close>.\<close> theory "Lem_machine_word" -imports - Main - "Lem_bool" - "Lem_num" - "Lem_basic_classes" - "Lem_show" - "Lem_function" - "~~/src/HOL/Word/Word" +imports + Main + "Lem_bool" + "Lem_num" + "Lem_basic_classes" + "Lem_show" + "Lem_function" + "HOL-Word.Word" begin @@ -17,7 +17,7 @@ begin (*open import Bool Num Basic_classes Show Function*) -(*open import {isabelle} `~~/src/HOL/Word/Word`*) +(*open import {isabelle} `HOL-Word.Word`*) (*open import {hol} `wordsTheory` `wordsLib` `bitstringTheory` `integer_wordTheory`*) (*type mword 'a*) |