src/HOL/Statespace/StateSpaceEx.thy
changeset 55525 70b7e91fa1f9
parent 52697 6fb98a20c349
child 58889 5b7a9633cfa8