| changeset 1478 | 2b8c2a7547ab |
| parent 589 | 31847a7504ec |
| 1477:4c51ab632cda | 1478:2b8c2a7547ab |
|---|---|
1 (* ID: $Id$ |
1 (* ID: $Id$ |
2 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
2 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
3 Copyright 1994 University of Cambridge |
3 Copyright 1994 University of Cambridge |
4 *) |
4 *) |
5 |
5 |
6 (*Dummy theory; allows twos_compl itself to be a dependency *) |
6 (*Dummy theory; allows twos_compl itself to be a dependency *) |
7 |
7 |