Re: [isabelle] lexical matters



On Mon, 17 Jan 2011, Makarius wrote:

Anyway, do you now the funny paper about by Freek Wiedijk, UITP 2010?

This was a copy-paste accident: Freek's paper is about "Pollack-inconsistency".


	Makarius





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