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