| changeset 58889 | 5b7a9633cfa8 |
| parent 58860 | fee7cfa69c50 |
| child 58963 | 26bf09b95dda |
--- a/src/Doc/Tutorial/Protocol/Event.thy Sun Nov 02 18:21:14 2014 +0100 +++ b/src/Doc/Tutorial/Protocol/Event.thy Sun Nov 02 18:21:45 2014 +0100 @@ -7,7 +7,7 @@ stores are visible to him *)(*<*) -header{*Theory of Events for Security Protocols*} +section{*Theory of Events for Security Protocols*} theory Event imports Message begin