src/HOL/UNITY/Comp/Handshake.thy
changeset 57978 8f4a332500e4
parent 37936 1e4c5015a72e
child 60773 d09c66a0ea10