diff options
Diffstat (limited to 'snapshots/isabelle/lib/lem/Lem_machine_word.thy')
| -rw-r--r-- | snapshots/isabelle/lib/lem/Lem_machine_word.thy | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/snapshots/isabelle/lib/lem/Lem_machine_word.thy b/snapshots/isabelle/lib/lem/Lem_machine_word.thy index 3f83789c..85323bb2 100644 --- a/snapshots/isabelle/lib/lem/Lem_machine_word.thy +++ b/snapshots/isabelle/lib/lem/Lem_machine_word.thy @@ -8,13 +8,14 @@ imports "Lem_num" "Lem_basic_classes" "Lem_show" + "Lem_function" "~~/src/HOL/Word/Word" begin -(*open import Bool Num Basic_classes Show*) +(*open import Bool Num Basic_classes Show Function*) (*open import {isabelle} `~~/src/HOL/Word/Word`*) (*open import {hol} `wordsTheory` `wordsLib` `bitstringTheory` `integer_wordTheory`*) |