src/HOL/Auth/NS_Public.thy
changeset 7584 5be4bb8e4e3f
parent 5434 9b4bed3f394c
child 11104 f2024fed9f0c