--- a/thys/Journal/Paper.thy	Sun Oct 10 00:56:47 2021 +0100
+++ b/thys/Journal/Paper.thy	Sun Oct 10 01:40:30 2021 +0100
@@ -1733,10 +1733,13 @@
   We can move out the @{term "fuse  [Z]"} and then use the IH to show that left-hand side
   and right-hand side are equal. This completes the proof. 
   \end{proof}   
-\<close>
 
 
 
+  \bibliographystyle{plain}
+  \bibliography{root}
+
+\<close>
 (*<*)
 end
 (*>*)
\ No newline at end of file