src/HOL/Auth/NS_Shared.thy
changeset 10519 ade64af4c57c
parent 5434 9b4bed3f394c
child 11104 f2024fed9f0c