src/HOL/Auth/Event.thy
changeset 18799 f137c5e971f5
parent 18570 ffce25f9aa7f
child 20768 1d478c2d621f