--- a/thys/Spec.thy	Wed May 16 20:58:39 2018 +0100
+++ b/thys/Spec.thy	Wed Aug 15 13:48:57 2018 +0100
@@ -565,4 +565,5 @@
 apply(auto simp add: intro!: Prf.intros elim!: Prf_elims)
 done
 
+
 end
\ No newline at end of file