src/ZF/Constructible/AC_in_L.thy
changeset 13634 99a593b49b04
parent 13615 449a70d88b38
child 13692 27f3c83e2984
     1.1 --- a/src/ZF/Constructible/AC_in_L.thy	Tue Oct 08 14:09:18 2002 +0200
     1.2 +++ b/src/ZF/Constructible/AC_in_L.thy	Wed Oct 09 11:07:13 2002 +0200
     1.3 @@ -1,7 +1,6 @@
     1.4  (*  Title:      ZF/Constructible/AC_in_L.thy
     1.5      ID: $Id$
     1.6      Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     1.7 -    Copyright   2002  University of Cambridge
     1.8  *)
     1.9  
    1.10  header {* The Axiom of Choice Holds in L! *}