[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?

Jens





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