changeset 29631 | 3aa049e5f156 |
parent 28298 | 3eb2855e5402 |
child 29668 | 33ba3faeaa0e |
29630:199e2fb7f588 | 29631:3aa049e5f156 |
---|---|
1 (* |
1 (* |
2 ID: $Id$ |
|
3 Author: Jeremy Dawson, NICTA |
2 Author: Jeremy Dawson, NICTA |
4 |
3 |
5 contains theorems to do with integers, expressed using Pls, Min, BIT, |
4 contains theorems to do with integers, expressed using Pls, Min, BIT, |
6 theorems linking them to lists of booleans, and repeated splitting |
5 theorems linking them to lists of booleans, and repeated splitting |
7 and concatenation. |
6 and concatenation. |