--- a/src/HOL/Auth/Guard/P1.thy Tue Feb 23 15:37:18 2016 +0100 +++ b/src/HOL/Auth/Guard/P1.thy Tue Feb 23 16:25:08 2016 +0100 @@ -634,4 +634,4 @@ apply (blast dest: Crypt_Hash_imp_sign [unfolded sign_def]) done -end \ No newline at end of file +end