# HG changeset patch
# User wenzelm
# Date 1267461919 -3600
# Node ID e74b6f3b950c30189c9bc40a5ed5b9d1a637d32e
# Parent  1f573d3babc86a815a3299345463579f53a89199
tuned final whitespace;

diff -r 1f573d3babc8 -r e74b6f3b950c src/HOL/UNITY/WFair.thy
--- a/src/HOL/UNITY/WFair.thy	Mon Mar 01 17:45:02 2010 +0100
+++ b/src/HOL/UNITY/WFair.thy	Mon Mar 01 17:45:19 2010 +0100
@@ -639,4 +639,4 @@
 apply blast+
 done
 
-end
\ No newline at end of file
+end
diff -r 1f573d3babc8 -r e74b6f3b950c src/HOL/ZF/LProd.thy
--- a/src/HOL/ZF/LProd.thy	Mon Mar 01 17:45:02 2010 +0100
+++ b/src/HOL/ZF/LProd.thy	Mon Mar 01 17:45:19 2010 +0100
@@ -181,4 +181,4 @@
 lemma "trans R \<Longrightarrow> (ah@a#at, bh@b#bt) \<in> lprod R \<Longrightarrow> (b, a) \<in> R \<or> a = b \<Longrightarrow> (ah@at, bh@bt) \<in> lprod R" 
 oops
 
-end
\ No newline at end of file
+end
diff -r 1f573d3babc8 -r e74b6f3b950c src/HOL/ZF/MainZF.thy
--- a/src/HOL/ZF/MainZF.thy	Mon Mar 01 17:45:02 2010 +0100
+++ b/src/HOL/ZF/MainZF.thy	Mon Mar 01 17:45:19 2010 +0100
@@ -9,4 +9,4 @@
 imports Zet LProd
 begin
 
-end
\ No newline at end of file
+end