src/HOL/TLA/Memory/RPCMemoryParams.thy
changeset 73255 7e2a9a8c2b85
parent 60592 c9bd1d902f04