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