changeset 13550 | 5a176b8dda84 |
parent 13508 | 890d736b93a5 |
child 13922 | 75ae4244a596 |
13549:f1522b892a4c | 13550:5a176b8dda84 |
---|---|
5 |
5 |
6 Root file for protocol proofs. |
6 Root file for protocol proofs. |
7 *) |
7 *) |
8 |
8 |
9 goals_limit := 1; |
9 goals_limit := 1; |
10 set timing; |
|
10 |
11 |
11 (*Shared-key protocols*) |
12 (*Shared-key protocols*) |
12 time_use_thy "NS_Shared"; |
13 time_use_thy "NS_Shared"; |
13 time_use_thy "Kerberos_BAN"; |
14 time_use_thy "Kerberos_BAN"; |
14 time_use_thy "KerberosIV"; |
15 time_use_thy "KerberosIV"; |