--- a/src/ZF/Induct/FoldSet.thy Wed Jan 10 15:21:49 2018 +0100 +++ b/src/ZF/Induct/FoldSet.thy Wed Jan 10 15:25:09 2018 +0100 @@ -393,4 +393,4 @@ apply (simp_all add: Diff_cons_eq Finite_Diff) done -end \ No newline at end of file +end