Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more cartouches
authorhaftmann
Wed, 18 Jul 2018 20:51:16 +0200
changeset 68654 81639cc48d0a
parent 68653 5a5146c3a35b
child 68655 90652333fae2
more cartouches
src/HOL/Library/IArray.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/IArray.thy	Thu Jul 19 09:22:32 2018 +0100
+++ b/src/HOL/Library/IArray.thy	Wed Jul 18 20:51:16 2018 +0200
@@ -1,4 +1,4 @@
-section "Immutable Arrays with Code Generation"
+section \<open>Immutable Arrays with Code Generation\<close>
 
 theory IArray
 imports Main
@@ -43,7 +43,7 @@
 end
 
 
-subsection "Code Generation"
+subsection \<open>Code Generation\<close>
 
 code_reserved SML Vector
isabelle