changeset 1459 | d12da312eff4 |
parent 757 | 2ca12511676d |
child 2035 | e329b36d9136 |
1458:fd510875fb71 | 1459:d12da312eff4 |
---|---|
1 (* Title: CCL/fix |
1 (* Title: CCL/fix |
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 For fix.thy. |
6 For fix.thy. |
7 *) |
7 *) |
8 |
8 |