--- a/src/HOL/IOA/Asig.thy Thu May 26 16:57:14 2016 +0200
+++ b/src/HOL/IOA/Asig.thy Thu May 26 17:51:22 2016 +0200
@@ -3,7 +3,7 @@
Copyright 1994 TU Muenchen
*)
-section {* Action signatures *}
+section \<open>Action signatures\<close>
theory Asig
imports Main