equal
deleted
inserted
replaced
1 (* Title: Integ.thy |
1 (* Title: Integ.thy |
2 ID: $Id$ |
2 ID: $Id$ |
3 Authors: Riccardo Mattolini, Dip. Sistemi e Informatica |
3 Authors: Lawrence C Paulson, Cambridge University Computer Laboratory |
4 Lawrence C Paulson, Cambridge University Computer Laboratory |
4 Copyright 1996 University of Cambridge |
5 Copyright 1994 Universita' di Firenze |
|
6 Copyright 1993 University of Cambridge |
|
7 |
5 |
8 The integers as equivalence classes over nat*nat. |
6 The integers as equivalence classes over nat*nat. |
9 *) |
7 *) |
10 |
8 |
11 Integ = Equiv + Arith + |
9 Integ = Equiv + Arith + |