src/HOL/Auth/Shared.thy
changeset 22744 5cbe966d67a2
parent 21588 cd0dc678a205
child 23894 1a4167d761ac