src/HOL/Auth/Shared.thy
changeset 7584 5be4bb8e4e3f
parent 5183 89f162de39cf
child 10833 c0844a30ea4e