--- a/src/HOL/IOA/IOA.thy Thu May 26 16:57:14 2016 +0200
+++ b/src/HOL/IOA/IOA.thy Thu May 26 17:51:22 2016 +0200
@@ -3,7 +3,7 @@
Copyright 1994 TU Muenchen
*)
-section {* The I/O automata of Lynch and Tuttle *}
+section \<open>The I/O automata of Lynch and Tuttle\<close>
theory IOA
imports Asig