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.
thys3/LexerSimp.thy
changeset 647 70c10dc41606
parent 642 6c13f76c070b 
--- a/thys3/LexerSimp.thy	Fri May 26 08:09:30 2023 +0100
+++ b/thys3/LexerSimp.thy	Fri May 26 08:10:17 2023 +0100
@@ -2,7 +2,7 @@
   imports "Lexer" 
 begin
 
-section {* Lexer including some simplifications *}
+section \<open>Lexer including some simplifications\<close>
 
 
 fun F_RIGHT where
lexing