src/HOL/Auth/CertifiedEmail.thy
changeset 14722 8e739a6eaf11
parent 14207 f20fbb141673
child 14735 41d9efe3b5b1