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