isabelle: src/HOL/SET_Protocol/SET_Protocol.thy@a421f1ccfc9f (annotated)

39769 5bcf4253d579 modernized session haftmann parents: diff changeset	1	(* Title: HOL/SET_Protocol/SET_Protocol.thy
5bcf4253d579 modernized session haftmann parents: diff changeset	2	Author: Lawrence C Paulson, Cambridge University Computer Laboratory
5bcf4253d579 modernized session haftmann parents: diff changeset	3	Copyright 2003 University of Cambridge
5bcf4253d579 modernized session haftmann parents: diff changeset	4
5bcf4253d579 modernized session haftmann parents: diff changeset	5	Root file for the SET protocol proofs.
5bcf4253d579 modernized session haftmann parents: diff changeset	6	*)
5bcf4253d579 modernized session haftmann parents: diff changeset	7
5bcf4253d579 modernized session haftmann parents: diff changeset	8	theory SET_Protocol
5bcf4253d579 modernized session haftmann parents: diff changeset	9	imports Cardholder_Registration Merchant_Registration Purchase
5bcf4253d579 modernized session haftmann parents: diff changeset	10	begin
5bcf4253d579 modernized session haftmann parents: diff changeset	11
5bcf4253d579 modernized session haftmann parents: diff changeset	12	end

author	Lars Hupel <lars.hupel@mytum.de>
	Thu, 27 Feb 2014 11:41:32 +0100
changeset 55771	a421f1ccfc9f
parent 39769	5bcf4253d579
permissions	-rw-r--r--