diff -r f82c0b803bda -r f59fd6cc935e src/Doc/Codegen/Further.thy
--- a/src/Doc/Codegen/Further.thy	Mon Jun 06 21:28:46 2016 +0200
+++ b/src/Doc/Codegen/Further.thy	Mon Jun 06 21:28:46 2016 +0200
@@ -345,4 +345,3 @@
 \<close>
 
 end
-