src/ZF/Constructible/AC_in_L.thy

--- a/src/ZF/Constructible/AC_in_L.thy	Tue Oct 08 14:09:18 2002 +0200
+++ b/src/ZF/Constructible/AC_in_L.thy	Wed Oct 09 11:07:13 2002 +0200
@@ -1,7 +1,6 @@
 (*  Title:      ZF/Constructible/AC_in_L.thy
     ID: $Id$
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
-    Copyright   2002  University of Cambridge
 *)
 
 header {* The Axiom of Choice Holds in L! *}