changeset 1474 | 3f7d67927fe2 |
parent 1149 | 5750eba8820d |
child 3837 | d7f033c74b38 |
1473:e8d4606e6502 | 1474:3f7d67927fe2 |
---|---|
1 (* Title: CCL/ccl.thy |
1 (* Title: CCL/ccl.thy |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Martin Coen |
3 Author: Martin Coen |
4 Copyright 1993 University of Cambridge |
4 Copyright 1993 University of Cambridge |
5 |
5 |
6 Classical Computational Logic for Untyped Lambda Calculus with reduction to |
6 Classical Computational Logic for Untyped Lambda Calculus with reduction to |
7 weak head-normal form. |
7 weak head-normal form. |
8 |
8 |