src/HOL/Statespace/StateSpaceSyntax.thy
changeset 45802 b16f976db515
parent 41959 b460124855b8
child 52143 36ffe23b25f8