src/HOL/TLA/Action.thy
changeset 66695 91500c024c7f
parent 62146 324bc1ffba12
child 69597 ff784d5a5bfb