equal
deleted
inserted
replaced
|
1 (* ID: $Id$ |
|
2 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
|
3 Copyright 1994 University of Cambridge |
|
4 *) |
|
5 |
|
6 (*Dummy theory; allows twos_compl itself to be a dependency *) |
|
7 |
|
8 twos_compl = Pure |