changeset 1459 | d12da312eff4 |
parent 757 | 2ca12511676d |
child 2035 | e329b36d9136 |
--- a/src/CCL/Fix.ML Mon Jan 29 13:56:41 1996 +0100 +++ b/src/CCL/Fix.ML Mon Jan 29 13:58:15 1996 +0100 @@ -1,6 +1,6 @@ -(* Title: CCL/fix +(* Title: CCL/fix ID: $Id$ - Author: Martin Coen, Cambridge University Computer Laboratory + Author: Martin Coen, Cambridge University Computer Laboratory Copyright 1993 University of Cambridge For fix.thy.