Mercurial Mercurial > hg > lexing / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
thys/Paper/Paper.thy
changeset 420 b66a4305749c
parent 362 e51c9a67a68d
child 423 b7199d6c672d 
--- 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
lexing