--- a/thys2/Paper/Paper.thy	Wed Feb 02 22:30:41 2022 +0000
+++ b/thys2/Paper/Paper.thy	Fri Feb 04 00:35:34 2022 +0000
@@ -374,7 +374,7 @@
   @{thm[mode=Axiom] bs6}\qquad
   @{thm[mode=Axiom] bs7}\\
   @{thm[mode=Rule] bs8[of "rs\<^sub>1" "rs\<^sub>2"]}\\
-  @{thm[mode=Axiom] ss1}\qquad
+  %@ { t hm[mode=Axiom] ss1}\qquad
   @{thm[mode=Rule] ss2[of "rs\<^sub>1" "rs\<^sub>2"]}\qquad
   @{thm[mode=Rule] ss3[of "r\<^sub>1" "r\<^sub>2"]}\\
   @{thm[mode=Axiom] ss4}\qquad