changeset 1459 | d12da312eff4 |
parent 757 | 2ca12511676d |
child 3837 | d7f033c74b38 |
--- a/src/CCL/eval.ML Mon Jan 29 13:56:41 1996 +0100 +++ b/src/CCL/eval.ML Mon Jan 29 13:58:15 1996 +0100 @@ -1,6 +1,6 @@ -(* Title: 92/CCL/eval +(* Title: 92/CCL/eval ID: $Id$ - Author: Martin Coen, Cambridge University Computer Laboratory + Author: Martin Coen, Cambridge University Computer Laboratory Copyright 1992 University of Cambridge *)