| changeset 29631 | 3aa049e5f156 |
| parent 29235 | 2d62b637fa80 |
| child 30729 | 461ee3e49ad3 |
| 29630:199e2fb7f588 | 29631:3aa049e5f156 |
|---|---|
1 (* |
1 (* |
2 ID: $Id$ |
|
3 Author: Jeremy Dawson and Gerwin Klein, NICTA |
2 Author: Jeremy Dawson and Gerwin Klein, NICTA |
4 |
3 |
5 contains theorems to do with bit-wise (logical) operations on words |
4 contains theorems to do with bit-wise (logical) operations on words |
6 *) |
5 *) |
7 |
6 |