Re: [isabelle] Parallel proofs issue, potentially in subst method



On Thu, 13 Sep 2012, Makarius wrote:

disclosed sources

This should read as "closed", or "nondisclosed" to make the Newspeak come out properly.


	Makarius





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