(*
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 {* Auction Theory Toolbox *}

theory All
imports 
  SecondPriceAuctionSoundness
  FullySpecifiedSecondPriceAuctionSoundness
  Vickrey
  CombinatorialVickreyAuctionSoundness
  
begin

end

(*
How to find overly long expressions (i.e. candidates for abbreviation) in jEdit:
"[^\n][^"]{35,}"
*)