diff -r 48876e1092f1 -r b85f8e28fbd8 thys2/Paper/Paper.thy
--- a/thys2/Paper/Paper.thy	Sat Feb 05 15:30:01 2022 +0000
+++ b/thys2/Paper/Paper.thy	Sat Feb 05 15:30:45 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