| changeset 1465 | 5d7a7e439cec |
| parent 1264 | 3eb91524b938 |
| child 1531 | e5eb247ad13c |
| 1464:a608f83e3421 | 1465:5d7a7e439cec |
|---|---|
1 (* Title: HOL/equalities |
1 (* Title: HOL/equalities |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
3 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
4 Copyright 1994 University of Cambridge |
4 Copyright 1994 University of Cambridge |
5 |
5 |
6 Equalities involving union, intersection, inclusion, etc. |
6 Equalities involving union, intersection, inclusion, etc. |
7 *) |
7 *) |
8 |
8 |