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;
     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