diff options
Diffstat (limited to 'snapshots/isabelle/lib/lem/Lem.thy')
| -rw-r--r-- | snapshots/isabelle/lib/lem/Lem.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/snapshots/isabelle/lib/lem/Lem.thy b/snapshots/isabelle/lib/lem/Lem.thy index c6a2a883..ae2c2f2d 100644 --- a/snapshots/isabelle/lib/lem/Lem.thy +++ b/snapshots/isabelle/lib/lem/Lem.thy @@ -57,7 +57,7 @@ theory "Lem" imports LemExtraDefs - "~~/src/HOL/Word/Word" + "HOL-Word.Word" begin type_synonym numeral = nat |