equal
deleted
inserted
replaced
1 (* Title: CCL/equalities |
1 (* Title: CCL/equalities |
2 ID: $Id$ |
2 ID: $Id$ |
3 |
3 |
4 Modified version of |
4 Modified version of |
5 Title: HOL/equalities |
5 Title: HOL/equalities |
6 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
6 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
7 Copyright 1991 University of Cambridge |
7 Copyright 1991 University of Cambridge |
8 |
8 |
9 Equalities involving union, intersection, inclusion, etc. |
9 Equalities involving union, intersection, inclusion, etc. |
10 *) |
10 *) |
11 |
11 |