src/Doc/Tutorial/Protocol/Public.thy
changeset 48994 c84278efa9d5
parent 48985 5386df44a037
child 50530 6266e44b3396