author | wenzelm |
Mon, 11 Sep 2023 19:30:48 +0200 | |
changeset 78659 | b5f3d1051b13 |
parent 39769 | 5bcf4253d579 |
permissions | -rw-r--r-- |
39769 | 1 |
(* Title: HOL/SET_Protocol/SET_Protocol.thy |
2 |
Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
|
3 |
Copyright 2003 University of Cambridge |
|
4 |
||
5 |
Root file for the SET protocol proofs. |
|
6 |
*) |
|
7 |
||
8 |
theory SET_Protocol |
|
9 |
imports Cardholder_Registration Merchant_Registration Purchase |
|
10 |
begin |
|
11 |
||
12 |
end |