src/HOL/Auth/OtwayRees.thy
changeset 2919 953a47dc0519
parent 2837 dee1c7f1f576
child 3465 e85c24717cad