| changeset 72292 | 4a58c38b85ff |
| parent 72130 | 9e5862223442 |
| child 72388 | 633d14bd1e59 |
--- a/src/HOL/Word/Reversed_Bit_Lists.thy Thu Sep 24 20:29:07 2020 +0200 +++ b/src/HOL/Word/Reversed_Bit_Lists.thy Fri Sep 25 05:26:09 2020 +0000 @@ -5,7 +5,7 @@ section \<open>Bit values as reversed lists of bools\<close> theory Reversed_Bit_Lists - imports Word + imports Word Misc_Typedef begin context comm_semiring_1