| changeset 41777 | 1f7cbe39d425 |
| parent 28952 | 15a4b2cf8c34 |
| child 42455 | 6702c984bf5a |
| 41776:3bd83302a3c3 | 41777:1f7cbe39d425 |
|---|---|
1 (* Title: ZF/pair |
1 (* Title: ZF/pair.thy |
2 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
2 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
3 Copyright 1992 University of Cambridge |
3 Copyright 1992 University of Cambridge |
4 |
4 |
5 *) |
5 *) |
6 |
6 |