src/HOL/IOA/IOA.thy
changeset 63167 0909deb8059b
parent 62145 5b946c81dfbf
child 67613 ce654b0e6d69
     1.1 --- a/src/HOL/IOA/IOA.thy	Thu May 26 16:57:14 2016 +0200
     1.2 +++ b/src/HOL/IOA/IOA.thy	Thu May 26 17:51:22 2016 +0200
     1.3 @@ -3,7 +3,7 @@
     1.4      Copyright   1994  TU Muenchen
     1.5  *)
     1.6  
     1.7 -section {* The I/O automata of Lynch and Tuttle *}
     1.8 +section \<open>The I/O automata of Lynch and Tuttle\<close>
     1.9  
    1.10  theory IOA
    1.11  imports Asig