| changeset 58889 | 5b7a9633cfa8 |
| parent 51798 | ad3a241def73 |
| child 59498 | 50b60f501b05 |
--- a/src/HOL/Auth/OtwayReesBella.thy Sun Nov 02 18:21:14 2014 +0100 +++ b/src/HOL/Auth/OtwayReesBella.thy Sun Nov 02 18:21:45 2014 +0100 @@ -2,7 +2,7 @@ Author: Giampaolo Bella, Catania University *) -header{*Bella's version of the Otway-Rees protocol*} +section{*Bella's version of the Otway-Rees protocol*} theory OtwayReesBella imports Public begin