--- a/src/HOLCF/One.thy Sat Nov 03 01:40:28 2001 +0100
+++ b/src/HOLCF/One.thy Sat Nov 03 01:41:26 2001 +0100
@@ -1,7 +1,7 @@
(* Title: HOLCF/One.thy
ID: $Id$
Author: Oscar Slotosch
- Copyright 1997 Technische Universitaet Muenchen
+ License: GPL (GNU GENERAL PUBLIC LICENSE)
*)
One = Lift +