--- a/src/ZF/Main_ZF.thy Wed Jan 21 16:47:04 2009 +0100 +++ b/src/ZF/Main_ZF.thy Wed Jan 21 16:47:31 2009 +0100 @@ -1,5 +1,3 @@ -(*$Id$*) - header{*Theory Main: Everything Except AC*} theory Main_ZF imports List_ZF IntDiv_ZF CardinalArith begin