changeset 1478 | 2b8c2a7547ab |
parent 589 | 31847a7504ec |
--- a/src/ZF/ex/twos_compl.thy Mon Feb 05 21:33:14 1996 +0100 +++ b/src/ZF/ex/twos_compl.thy Tue Feb 06 12:27:17 1996 +0100 @@ -1,5 +1,5 @@ (* ID: $Id$ - Author: Lawrence C Paulson, Cambridge University Computer Laboratory + Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1994 University of Cambridge *)