changeset 58874 | 7172c7ffb047 |
parent 58410 | 6d46ad54a2ab |
child 61424 | c3658c18b7bc |
--- a/src/HOL/Word/Bool_List_Representation.thy Sun Nov 02 16:50:42 2014 +0100 +++ b/src/HOL/Word/Bool_List_Representation.thy Sun Nov 02 16:54:06 2014 +0100 @@ -6,7 +6,7 @@ and concatenation. *) -header "Bool lists and integers" +section "Bool lists and integers" theory Bool_List_Representation imports Main Bits_Int