diff -r 6de6bc551a8b -r b66a4305749c thys/Paper/Paper.thy
--- a/thys/Paper/Paper.thy	Mon Feb 07 01:12:36 2022 +0000
+++ b/thys/Paper/Paper.thy	Mon Feb 07 14:22:08 2022 +0000
@@ -49,7 +49,7 @@
   mkeps ("mkeps _" [79] 76) and 
   length ("len _" [73] 73) and
  
-  Prf ("_ : _" [75,75] 75) and  
+  Prf ("\<turnstile> _ : _" [75,75] 75) and  
   Posix ("'(_, _') \<rightarrow> _" [63,75,75] 75) and
  
   lexer ("lexer _ _" [78,78] 77) and