changeset 35705 | 0e5251adb9cc |
parent 33615 | 261abc2e3155 |
child 39757 | 21423597a80d |
35704:5007843dae33 | 35705:0e5251adb9cc |
---|---|
3 Copyright 2003 University of Cambridge |
3 Copyright 2003 University of Cambridge |
4 |
4 |
5 Root file for the SET protocol proofs. |
5 Root file for the SET protocol proofs. |
6 *) |
6 *) |
7 |
7 |
8 no_document use_thys ["Nat_Int_Bij"]; |
8 no_document use_thys ["Nat_Bijection"]; |
9 use_thys ["Cardholder_Registration", "Merchant_Registration", "Purchase"]; |
9 use_thys ["Cardholder_Registration", "Merchant_Registration", "Purchase"]; |