# HG changeset patch
# User haftmann
# Date 1330626902 -3600
# Node ID 40e2ada74ce8d943895cdcef32efb9731f8f9ca4
# Parent  e9e7209eb3750b003709f6bafb80d19607163dd9
tuned whitespace

diff -r e9e7209eb375 -r 40e2ada74ce8 src/HOL/ZF/MainZF.thy
--- a/src/HOL/ZF/MainZF.thy	Thu Mar 01 19:34:52 2012 +0100
+++ b/src/HOL/ZF/MainZF.thy	Thu Mar 01 19:35:02 2012 +0100
@@ -10,3 +10,4 @@
 begin
 
 end
+