Re: [isabelle] Aligning full_prf with proof term



On Tue, 4 Oct 2011, John Munroe wrote:

Anyone got any idea?

The expert on these things is Stefan Berghofer.


	Makarius





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