src/HOL/Auth/NS_Shared.thy
changeset 2003 b48f066d52dc
parent 1997 6efba890341e
child 2032 1bbf1bdcaf56