src/HOL/ZF/MainZF.thy
changeset 35416 d8d7d1b785af
parent 19203 778507520684
child 35422 e74b6f3b950c
--- a/src/HOL/ZF/MainZF.thy	Wed Feb 24 11:55:52 2010 +0100
+++ b/src/HOL/ZF/MainZF.thy	Mon Mar 01 13:40:23 2010 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/ZF/MainZF.thy
-    ID:         $Id$
     Author:     Steven Obua
 
     Starting point for using HOLZF.
@@ -9,4 +8,5 @@
 theory MainZF
 imports Zet LProd
 begin
+
 end
\ No newline at end of file