changeset 2215 | ebf910e7ec87 |
parent 2083 | b56425a385b9 |
child 2224 | 4fc4b465be5b |
--- a/src/HOL/Integ/Integ.ML Thu Nov 21 15:19:09 1996 +0100 +++ b/src/HOL/Integ/Integ.ML Thu Nov 21 15:28:25 1996 +0100 @@ -1,8 +1,6 @@ (* Title: Integ.ML ID: $Id$ - Authors: Riccardo Mattolini, Dip. Sistemi e Informatica - Lawrence C Paulson, Cambridge University Computer Laboratory - Copyright 1994 Universita' di Firenze + Authors: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1993 University of Cambridge The integers as equivalence classes over nat*nat.