--- a/thys/Journal/Paper.thy	Thu Aug 16 01:12:00 2018 +0100
+++ b/thys/Journal/Paper.thy	Fri Aug 17 12:00:25 2018 +0100
@@ -299,7 +299,7 @@
 %@{term "ALT r ZERO"}, @{term "SEQ ONE r"} and @{term "SEQ r ONE"} to
 %@{term r} are applied. 
 
-We extend our results to ???
+We extend our results to ??? Bitcoded version??
 
 *}