| changeset 50530 | 6266e44b3396 |
| parent 48985 | 5386df44a037 |
| 50529:b2aa899b3f2d | 50530:6266e44b3396 |
|---|---|
1 (* Title: FOL/ex/If.ML |
1 (* Title: Doc/ZF/If.thy |
2 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
2 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
3 Copyright 1991 University of Cambridge |
3 Copyright 1991 University of Cambridge |
4 |
4 |
5 First-Order Logic: the 'if' example. |
5 First-Order Logic: the 'if' example. |
6 *) |
6 *) |