changeset 1459 | d12da312eff4 |
parent 1294 | 1358dc040edb |
child 3837 | d7f033c74b38 |
--- a/src/CTT/ex/equal.ML Mon Jan 29 13:56:41 1996 +0100 +++ b/src/CTT/ex/equal.ML Mon Jan 29 13:58:15 1996 +0100 @@ -1,6 +1,6 @@ -(* Title: CTT/ex/equal +(* Title: CTT/ex/equal ID: $Id$ - Author: Lawrence C Paulson, Cambridge University Computer Laboratory + Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1991 University of Cambridge Equality reasoning by rewriting.