| changeset 74594 | 2f28a0a758ab |
| parent 74588 | 3cc363e8bfb2 |
| child 80914 | d97fdabd9e2b |
--- a/src/HOL/Statespace/StateSpaceEx.thy Tue Oct 26 16:01:05 2021 +0200 +++ b/src/HOL/Statespace/StateSpaceEx.thy Tue Oct 26 17:14:16 2021 +0200 @@ -222,7 +222,7 @@ text \<open>Sharing of names in side-by-side statespaces is also possible as long as they are mapped -to the same type.}\<close> +to the same type.\<close> statespace vars1 = n::nat m::nat statespace vars2 = n::nat k::nat