--- a/src/ZF/Main_ZFC.thy Mon Feb 11 15:40:21 2008 +0100 +++ b/src/ZF/Main_ZFC.thy Mon Feb 11 21:32:10 2008 +0100 @@ -1,3 +1,5 @@ +(* $Id$ *) + theory Main_ZFC imports Main_ZF InfDatatype begin end