changeset 29631 | 3aa049e5f156 |
parent 28959 | 9d35303719b5 |
child 30034 | 60f64f112174 |
29630:199e2fb7f588 | 29631:3aa049e5f156 |
---|---|
1 (* |
1 (* |
2 ID: $Id$ |
|
3 Author: Jeremy Dawson, NICTA |
2 Author: Jeremy Dawson, NICTA |
4 |
3 |
5 contains basic definition to do with integers |
4 contains basic definition to do with integers |
6 expressed using Pls, Min, BIT and important resulting theorems, |
5 expressed using Pls, Min, BIT and important resulting theorems, |
7 in particular, bin_rec and related work |
6 in particular, bin_rec and related work |