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



On Tue, Dec 7, 2010 at 2:24 AM, Tobias Nipkow <nipkow at in.tum.de> 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, for one, would be interested in hearing the rest of this discussion.

- Brian





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