src/HOL/SET_Protocol/SET_Protocol.thy
changeset 73255 7e2a9a8c2b85
parent 39769 5bcf4253d579