| changeset 1477 | 4c51ab632cda |
| parent 1142 | eb0e2ff8f032 |
| child 3836 | f1a1817659e6 |
| 1476:608483c2122a | 1477:4c51ab632cda |
|---|---|
1 (* Title: FOLP/FOLP.thy |
1 (* Title: FOLP/FOLP.thy |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Martin D Coen, Cambridge University Computer Laboratory |
3 Author: Martin D Coen, Cambridge University Computer Laboratory |
4 Copyright 1992 University of Cambridge |
4 Copyright 1992 University of Cambridge |
5 |
5 |
6 Classical First-Order Logic with Proofs |
6 Classical First-Order Logic with Proofs |
7 *) |
7 *) |
8 |
8 |