src/HOL/SET_Protocol/SET_Protocol.thy
author wenzelm
Sat Jul 18 22:58:50 2015 +0200 (2015-07-18)
changeset 60758 d8d85a8172b5
parent 39769 5bcf4253d579
permissions -rw-r--r--
isabelle update_cartouches;
haftmann@39769
     1
(*  Title:      HOL/SET_Protocol/SET_Protocol.thy
haftmann@39769
     2
    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
haftmann@39769
     3
    Copyright   2003  University of Cambridge
haftmann@39769
     4
haftmann@39769
     5
Root file for the SET protocol proofs.
haftmann@39769
     6
*)
haftmann@39769
     7
haftmann@39769
     8
theory SET_Protocol
haftmann@39769
     9
imports Cardholder_Registration Merchant_Registration Purchase
haftmann@39769
    10
begin
haftmann@39769
    11
haftmann@39769
    12
end