equal
deleted
inserted
replaced
1 (* ID: $Id$ |
1 (* Title: HOL/Auth/KerberosV.thy |
2 Author: Giampaolo Bella, Catania University |
2 Author: Giampaolo Bella, Catania University |
3 *) |
3 *) |
4 |
4 |
5 header{*The Kerberos Protocol, Version V*} |
5 header{*The Kerberos Protocol, Version V*} |
6 |
6 |