[isabelle] Length of Proofs

Hello all,

when viewing the file Vickrey.thy from Tim I almost fell from my chair. It has 22 pages of code and that seems to be a normal length for Isabelle.

Does anyone know how to shorten these artefacts or could someone explain to me why proofs have to be that long?


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.