changeset 12030 | 46d57d0290a2 |
parent 11531 | d038246a62f2 |
child 14643 | 130076a81b84 |
--- a/src/HOLCF/domain/library.ML Sat Nov 03 01:40:28 2001 +0100 +++ b/src/HOLCF/domain/library.ML Sat Nov 03 01:41:26 2001 +0100 @@ -1,9 +1,9 @@ (* Title: HOLCF/domain/library.ML ID: $Id$ - Author : David von Oheimb - Copyright 1995, 1996 TU Muenchen + Author: David von Oheimb + License: GPL (GNU GENERAL PUBLIC LICENSE) -library for domain section +Library for domain section. *)