changeset 67443 | 3abf6a722518 |
parent 63648 | f9f3006a5579 |
child 76231 | 8a48e18f081e |
--- a/src/HOL/UNITY/Simple/Token.thy Tue Jan 16 09:12:16 2018 +0100 +++ b/src/HOL/UNITY/Simple/Token.thy Tue Jan 16 09:30:00 2018 +0100 @@ -16,7 +16,7 @@ subsection\<open>Definitions\<close> datatype pstate = Hungry | Eating | Thinking - \<comment>\<open>process states\<close> + \<comment> \<open>process states\<close> record state = token :: "nat"