equal
deleted
inserted
replaced
4 Definitions and basic theorems for bit-wise logical operations |
4 Definitions and basic theorems for bit-wise logical operations |
5 for integers expressed using Pls, Min, BIT, |
5 for integers expressed using Pls, Min, BIT, |
6 and converting them to and from lists of bools. |
6 and converting them to and from lists of bools. |
7 *) |
7 *) |
8 |
8 |
9 header {* Bitwise Operations on Binary Integers *} |
9 section {* Bitwise Operations on Binary Integers *} |
10 |
10 |
11 theory Bits_Int |
11 theory Bits_Int |
12 imports Bits Bit_Representation |
12 imports Bits Bit_Representation |
13 begin |
13 begin |
14 |
14 |