src/HOL/Auth/CertifiedEmail.thy
changeset 43872 6b917e5877d2
parent 43584 027dc42505be
child 58889 5b7a9633cfa8
equal deleted inserted replaced
43871:79c3231e0593 43872:6b917e5877d2