src/HOL/SET_Protocol/Event_SET.thy
changeset 65895 744878d72021
parent 63167 0909deb8059b
child 67613 ce654b0e6d69