[isabelle] Isabelle growth

JPEG image

Readers of this list may be interested in the attached graph, which shows how the size of Isabelle distributions has grown from 1992 to 2005. It's somewhat approximate in that the distributions were not equally spaced, but the trend is clearly linear. Most of this material consists of proofs rather than ML code.

Larry Paulson

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