commented one lemma whose proof takes forever with Isabelle2013-1-RC1
adapting to new precedence of big Union operator in Isabelle2013-1-RC1
fixed a bug that was introduced in commit ad75bfb42f47c6fc9fd731be6c7d5887a2624137
removed some lemmas that were introduced into the standard library in Isabelle2013-1-RC1
adapted to Isabelle2013-1-RC1 code generator improvements
minor documentary comment
adapted to renaming nVCG_CaseChecker → CombinatorialVickreyAuction in formalisation
regenerated from formalisation
adapted to Isabelle2013-1-RC1 code generator changes