changeset 1474 | 3f7d67927fe2 |
parent 1149 | 5750eba8820d |
child 3837 | d7f033c74b38 |
1473:e8d4606e6502 | 1474:3f7d67927fe2 |
---|---|
1 (* Title: CCL/ex/list.thy |
1 (* Title: CCL/ex/list.thy |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Martin Coen, Cambridge University Computer Laboratory |
3 Author: Martin Coen, Cambridge University Computer Laboratory |
4 Copyright 1993 University of Cambridge |
4 Copyright 1993 University of Cambridge |
5 |
5 |
6 Programs defined over lists. |
6 Programs defined over lists. |
7 *) |
7 *) |
8 |
8 |