src/HOL/TLA/Action.ML
changeset 15140 322485b816ac
parent 14100 804be4c4b642
child 17309 c43ed29bd197