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