changeset 1474 | 3f7d67927fe2 |
parent 0 | a5a9c433f639 |
child 17456 | bcf7544875b2 |
--- a/src/CCL/Gfp.thy Mon Feb 05 13:44:28 1996 +0100 +++ b/src/CCL/Gfp.thy Mon Feb 05 14:44:09 1996 +0100 @@ -1,6 +1,6 @@ -(* Title: HOL/gfp.thy +(* Title: HOL/gfp.thy ID: $Id$ - Author: Lawrence C Paulson, Cambridge University Computer Laboratory + Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1992 University of Cambridge Greatest fixed points