(*
Auction Theory Toolbox (http://formare.github.io/auctions/)

Authors:
* Manfred Kerber <mnfrd.krbr@gmail.com>
* Christoph Lange <math.semantic.web@gmail.com>
* Colin Rowat <c.rowat@bham.ac.uk>
* Makarius Wenzel <wenzel@lri.fr>

Dually licenced under
* Creative Commons Attribution (CC-BY) 3.0
* ISC License (1-clause BSD License)
See LICENSE file for details
(Rationale for this dual licence: http://arxiv.org/abs/1107.3212)
*)

header {* Fully specified single good auctions (with tie-breaking) *}

(* TODO CL: consider renaming as per https://github.com/formare/auctions/issues/16 *)
theory FullySpecifiedSingleGoodAuction
imports Complex_Main SingleGoodAuction SingleGoodAuctionTieBreaker
begin

end