src/HOL/Auth/OtwayReesBella.thy
changeset 61070 b72a990adfe2
parent 60754 02924903a6fd
child 61830 4f5ab843cf5b