Re: [isabelle] How do I do stone age interaction?

On 07/12/10 21:24, Tobias Nipkow wrote:
Dear Jeremy&  Co,

May I kindly suggest to make this a private thread among stone age
users? Probably only a handful of people know what you are talking about
and even fewer are interested in the details of ML level interaction. If
anybody else, apart from the participants of this thread, is interested
in the details, they should speak up now and I take back what I wrote.

I'm quite interested in the details.


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