(* ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1994 University of Cambridge *) (*Dummy theory; allows twos_compl itself to be a dependency *) twos_compl = Pure