| changeset 14238 | 59b02c1efd01 |
| parent 14225 | 6d1026266e2b |
| child 16417 | 9bc16273c2d4 |
--- a/src/HOL/Auth/OtwayRees.thy Thu Oct 16 10:32:06 2003 +0200 +++ b/src/HOL/Auth/OtwayRees.thy Thu Oct 16 10:32:36 2003 +0200 @@ -341,7 +341,6 @@ by (blast dest!: A_trusts_OR4 Spy_not_see_encrypted_key) - subsection{*Authenticity properties relating to NB*} text{*Only OR2 can have caused such a part of a message to appear. We do not