changeset 1459 | d12da312eff4 |
parent 757 | 2ca12511676d |
child 2035 | e329b36d9136 |
1458:fd510875fb71 | 1459:d12da312eff4 |
---|---|
1 (* Title: 92/CCL/genrec |
1 (* Title: 92/CCL/genrec |
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 *) |
6 *) |
7 |
7 |
8 (*** General Recursive Functions ***) |
8 (*** General Recursive Functions ***) |