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