src/Doc/Tutorial/Protocol/Public.thy
changeset 65456 31e8a86971a8
parent 63648 f9f3006a5579
child 67406 23307fd33906