src/HOL/Statespace/StateFun.thy
changeset 39072 1030b1a166ef
parent 38838 62f6ba39b3d4
child 41959 b460124855b8