Re: [isabelle] Proof_Context abstraction

On Tue, 29 Jul 2014, Joachim Breitner wrote:

there is always a first step, and different people learn in different ways. I could have said “experimentation” if you like that word better.

Experimentation is at least proper terminology of empirical science. More of its principles can be applied to explore the Isabelle sources, to understand more aspects of it.

The "implementation" manual explains many things that help working systematically with the sources, but it definitely needs serious efforts.


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