changeset 62002 | f1599e98c4d0 |
parent 58880 | 0baae4311a9f |
child 67613 | ce654b0e6d69 |
--- a/src/HOL/HOLCF/IOA/Storage/Action.thy Wed Dec 30 21:56:12 2015 +0100 +++ b/src/HOL/HOLCF/IOA/Storage/Action.thy Wed Dec 30 21:57:52 2015 +0100 @@ -2,7 +2,7 @@ Author: Olaf Müller *) -section {* The set of all actions of the system *} +section \<open>The set of all actions of the system\<close> theory Action imports Main