rearranged stuff from f.thy into c.thy; skeleton for non negative prices in new file g.thy
Merge branch 'master' of https://github.com/formare/auctions