src/HOL/SET_Protocol/SET_Protocol.thy
changeset 55960 beef468837b1
parent 39769 5bcf4253d579