--- 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
--- 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
--- 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