diff -r 64754369cee3 -r da6c224a06e6 src/HOL/Auth/Smartcard/EventSC.thy